Izvedba univerzalne ontologije geografskega prostora v podmnožici predikatnega računa prvega reda
Application of universal ontology of geographic space in a subset of the first-order predicate calculus