PostalPlace - Sigma Knowledge base Browser

antecedent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 26912-26917	X is located at Y, X is an instance of postal place, Y is an instance of neighborhood if, and only if X is in Y
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 26949-26956	X is located at Y, X is an instance of postal place, Y is an instance of nation or Y is an instance of dependency or special sovereignty area if, and only if X is in Y
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 26983-26988	X is located at Y, X is an instance of postal place, Y is an instance of state or province if, and only if X is in Y
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 26999-27004	X is located at Y, X is an instance of postal place, Y is an instance of city if, and only if X is in Y
(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA))	Mid-level-ontology.kif 27026-27031	X is located at Y, X is an instance of postal place, Y is an instance of postcode area if, and only if X is in post code Y

consequent

(=>
    (instance ?SVC ShuttleService)
    (exists (?LIST ?VEHICLE ?AGENT)
        (and
            (agent ?SVC ?AGENT)
            (possesses ?AGENT ?VEHICLE)
            (instance ?VEHICLE Automobile)
            (instance ?LIST List)
            (forall (?X)
                (=>
                    (inList ?X ?LIST)
                    (and
                        (instance ?X PostalPlace)
                        (exists (?TRANSPORT)
                            (and
                                (instance ?TRANSPORT Transportation)
                                (agent ?TRANSPORT ?AGENT)
                                (instrument ?TRANSPORT ?VEHICLE)
                                (destination ?TRANSPORT ?X)))))))))

Hotel.kif 2053-2071

If X is an instance of shuttle, then All of the following hold: (1) there exist Y, Z (2) W such that W is an agent of X (3) W possesses Z (4) Z is an instance of automobile (5) Y is an instance of list (6) V V is a member of Y V is an instance of postal place (7) there exists U such that U is an instance of transportation (8) W is an agent of U (9) Z is an instrument for U (10) U ends up at V

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners

(subclass PostalPlace StationaryArtifact)	Merge.kif 16069-16069	Postal place is a subclass of stationary artifact
(subclass PostalPlace LocalizablePlace)	Merge.kif 16070-16070	Postal place is a subclass of localizable place
(subclass PostalPlace ContactSite)	Merge.kif 16071-16071	Postal place is a subclass of contact site
(documentation PostalPlace EnglishLanguage "A PostalPlace is any LocalizablePlace that can have a postal address, and to which hardcopy mail (letters, packages, etc.) can be delivered.")	Merge.kif 16072-16074	Postal place is a subclass of contact site

(termFormat EnglishLanguage PostalPlace "postal place")	Merge.kif 16075-16075
(subclass Residence PostalPlace)	Merge.kif 16078-16078	Residence is a subclass of postal place
(subclass MilitaryInstallation PostalPlace)	Mid-level-ontology.kif 26833-26833	Military installation is a subclass of postal place
(subclass PlaceOfCommerce PostalPlace)	Mid-level-ontology.kif 26834-26834	Place of commerce is a subclass of postal place

(domain workAddress 1 PostalPlace)	Mid-level-ontology.kif 25495-25495	The number 1 argument of work address is an instance of postal place
(domain postContactSite 1 PostalPlace)	Mid-level-ontology.kif 26847-26847	The number 1 argument of post contact site is an instance of postal place
(domain unitNumber 2 PostalPlace)	Mid-level-ontology.kif 26860-26860	The number 2 argument of unit number is an instance of postal place
(domain floorCode 2 PostalPlace)	Mid-level-ontology.kif 26866-26866	The number 2 argument of floor code is an instance of postal place
(domain postNeighborhood 1 PostalPlace)	Mid-level-ontology.kif 26909-26909	The number 1 argument of post neighborhood is an instance of postal place
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 26935-26935	The number 1 argument of post country is an instance of postal place
(domain postDistrict 1 PostalPlace)	Mid-level-ontology.kif 26976-26976	The number 1 argument of post district is an instance of postal place
(domain postCity 1 PostalPlace)	Mid-level-ontology.kif 26992-26992	The number 1 argument of post city is an instance of postal place
(domain postPostcodeArea 1 PostalPlace)	Mid-level-ontology.kif 27018-27018	The number 1 argument of post postcode area is an instance of postal place
(domain postStreet 1 PostalPlace)	Mid-level-ontology.kif 27049-27049	The number 1 argument of post street is an instance of postal place
(domain postStreetNumber 2 PostalPlace)	Mid-level-ontology.kif 27062-27062	The number 2 argument of post street number is an instance of postal place
(domain postPostOfficeBox 2 PostalPlace)	Mid-level-ontology.kif 27073-27073	The number 2 argument of post post office box is an instance of postal place
(domain postAddressText 2 PostalPlace)	Mid-level-ontology.kif 27088-27088	The number 2 argument of post address text is an instance of postal place

KB Term:			Term intersection

English Word: