PostalPlace - Sigma Knowledge base Browser

appearance as argument number 1

(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.")	Mid-level-ontology.kif 25710-25712
(subclass PostalPlace ContactSite)	Mid-level-ontology.kif 25709-25709	Postal place is a subclass of contact site
(subclass PostalPlace LocalizablePlace)	Mid-level-ontology.kif 25708-25708	Postal place is a subclass of localizable place
(subclass PostalPlace StationaryArtifact)	Mid-level-ontology.kif 25707-25707	Postal place is a subclass of stationary artifact

appearance as argument number 2

(subclass MilitaryInstallation PostalPlace)	Mid-level-ontology.kif 25715-25715	Military installation is a subclass of postal place
(subclass PlaceOfCommerce PostalPlace)	Mid-level-ontology.kif 25717-25717	Place of commerce is a subclass of postal place
(subclass Residence PostalPlace)	Mid-level-ontology.kif 25716-25716	Residence is a subclass of postal place
(termFormat EnglishLanguage PostalPlace "postal place")	Mid-level-ontology.kif 25713-25713	Residence is a subclass of postal place

appearance as argument number 3

(domain floorCode 2 PostalPlace)	Mid-level-ontology.kif 25749-25749	The number 2 argument of floor code is an instance of postal place
(domain postAddressText 2 PostalPlace)	Mid-level-ontology.kif 25971-25971	The number 2 argument of post address text is an instance of postal place
(domain postCity 1 PostalPlace)	Mid-level-ontology.kif 25875-25875	The number 1 argument of post city is an instance of postal place
(domain postContactSite 1 PostalPlace)	Mid-level-ontology.kif 25730-25730	The number 1 argument of post contact site is an instance of postal place
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 25818-25818	The number 1 argument of post country is an instance of postal place
(domain postDistrict 1 PostalPlace)	Mid-level-ontology.kif 25859-25859	The number 1 argument of post district is an instance of postal place
(domain postNeighborhood 1 PostalPlace)	Mid-level-ontology.kif 25792-25792	The number 1 argument of post neighborhood is an instance of postal place
(domain postPostOfficeBox 2 PostalPlace)	Mid-level-ontology.kif 25956-25956	The number 2 argument of post post office box is an instance of postal place
(domain postPostcodeArea 1 PostalPlace)	Mid-level-ontology.kif 25901-25901	The number 1 argument of post postcode area is an instance of postal place
(domain postStreet 1 PostalPlace)	Mid-level-ontology.kif 25932-25932	The number 1 argument of post street is an instance of postal place
(domain postStreetNumber 2 PostalPlace)	Mid-level-ontology.kif 25945-25945	The number 2 argument of post street number is an instance of postal place
(domain unitNumber 2 PostalPlace)	Mid-level-ontology.kif 25743-25743	The number 2 argument of unit number is an instance of postal place
(domain workAddress 1 PostalPlace)	Mid-level-ontology.kif 24337-24337	The number 1 argument of work address is an instance of postal place

antecedent

(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA))	Mid-level-ontology.kif 25909-25914	A postal place is located at a postcode area and the postal place is an instance of postal place and the postcode area is an instance of postcode area if and only if the postal place is in post code the postcode area
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 25882-25887	A postal place is located at a city and the postal place is an instance of postal place and the city is an instance of city if and only if the postal place is in the city
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 25795-25800	A postal place is located at a neighborhood and the postal place is an instance of postal place and the neighborhood is an instance of neighborhood if and only if the postal place is in the neighborhood
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 25866-25871	A postal place is located at a state or province and the postal place is an instance of postal place and the state or province is an instance of state or province if and only if the postal place is in the state or province
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 25832-25839	A postal place is located at a geopolitical area and the postal place is an instance of postal place and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the postal place is in the geopolitical area

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 2035-2053

If a process is an instance of shuttle,
then there exist a list, an object and an agent such that the agent is an agent of the process and the agent possesses the object and the object is an instance of automobile and the list is an instance of list and for all an entity
- if the entity is a member of the list,
- then the entity is an instance of postal place and there exists another process such that the other process is an instance of transportation and the agent is an agent of the other process and the object is an instrument for the other process and the other process ends up at the entity

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: