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 23942-23944
(subclass PostalPlace ContactSite)	Mid-level-ontology.kif 23941-23941	PostalPlace is a subclass of ContactSite
(subclass PostalPlace LocalizablePlace)	Mid-level-ontology.kif 23940-23940	PostalPlace is a subclass of LocalizablePlace
(subclass PostalPlace StationaryArtifact)	Mid-level-ontology.kif 23939-23939	PostalPlace is a subclass of stationary artifact

appearance as argument number 2

(subclass MilitaryInstallation PostalPlace)	Mid-level-ontology.kif 23946-23946	Military installation is a subclass of PostalPlace
(subclass PlaceOfCommerce PostalPlace)	Mid-level-ontology.kif 23948-23948	Place of commerce is a subclass of PostalPlace
(subclass Residence PostalPlace)	Mid-level-ontology.kif 23947-23947	Residence is a subclass of PostalPlace

appearance as argument number 3

(domain floorCode 2 PostalPlace)	Mid-level-ontology.kif 23980-23980	The number 2 argument of floorCode is an instance of PostalPlace
(domain postAddressText 2 PostalPlace)	Mid-level-ontology.kif 24202-24202	The number 2 argument of postAddressText is an instance of PostalPlace
(domain postCity 1 PostalPlace)	Mid-level-ontology.kif 24106-24106	The number 1 argument of postCity is an instance of PostalPlace
(domain postContactSite 1 PostalPlace)	Mid-level-ontology.kif 23961-23961	The number 1 argument of postContactSite is an instance of PostalPlace
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 24049-24049	The number 1 argument of postCountry is an instance of PostalPlace
(domain postDistrict 1 PostalPlace)	Mid-level-ontology.kif 24090-24090	The number 1 argument of postDistrict is an instance of PostalPlace
(domain postNeighborhood 1 PostalPlace)	Mid-level-ontology.kif 24023-24023	The number 1 argument of postNeighborhood is an instance of PostalPlace
(domain postPostOfficeBox 2 PostalPlace)	Mid-level-ontology.kif 24187-24187	The number 2 argument of postPostOfficeBox is an instance of PostalPlace
(domain postPostcodeArea 1 PostalPlace)	Mid-level-ontology.kif 24132-24132	The number 1 argument of postPostcodeArea is an instance of PostalPlace
(domain postStreet 1 PostalPlace)	Mid-level-ontology.kif 24163-24163	The number 1 argument of postStreet is an instance of PostalPlace
(domain postStreetNumber 2 PostalPlace)	Mid-level-ontology.kif 24176-24176	The number 2 argument of postStreetNumber is an instance of PostalPlace
(domain unitNumber 2 PostalPlace)	Mid-level-ontology.kif 23974-23974	The number 2 argument of unit number is an instance of PostalPlace
(domain workAddress 1 PostalPlace)	Mid-level-ontology.kif 22646-22646	The number 1 argument of work address is an instance of PostalPlace

antecedent

(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA))	Mid-level-ontology.kif 24140-24145	A PostalPlace is located at a PostcodeArea and the PostalPlace is an instance of PostalPlace and the PostcodeArea is an instance of PostcodeArea if and only if the PostalPlace is in post code the PostcodeArea
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 24113-24118	A PostalPlace is located at a city and the PostalPlace is an instance of PostalPlace and the city is an instance of city if and only if the PostalPlace is in the city
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 24026-24031	A PostalPlace is located at a neighborhood and the PostalPlace is an instance of PostalPlace and the neighborhood is an instance of neighborhood if and only if the PostalPlace is in the neighborhood
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24097-24102	A PostalPlace is located at a state or province and the PostalPlace is an instance of PostalPlace and the state or province is an instance of state or province if and only if the PostalPlace 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 24063-24070	A PostalPlace is located at a geopolitical area and the PostalPlace is an instance of PostalPlace 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 PostalPlace 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 2010-2028

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 PostalPlace 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: