Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PostalPlace
PostalPlace(postal place)address

appearance as argument number 1
-------------------------


(subclass PostalPlace StationaryArtifact) Merge.kif 15945-15945 Postal place is a subclass of stationary artifact
(subclass PostalPlace LocalizablePlace) Merge.kif 15946-15946 Postal place is a subclass of localizable place
(subclass PostalPlace ContactSite) Merge.kif 15947-15947 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 15948-15950 Postal place is a subclass of contact site

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage PostalPlace "postal place") Merge.kif 15951-15951
(subclass Residence PostalPlace) Merge.kif 15954-15954 Residence is a subclass of postal place
(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 26961-26961 Military installation is a subclass of postal place
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 26962-26962 Place of commerce is a subclass of postal place

appearance as argument number 3
-------------------------


(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 25585-25585 The number 1 argument of work address is an instance of postal place
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 26975-26975 The number 1 argument of post contact site is an instance of postal place
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 26988-26988 The number 2 argument of unit number is an instance of postal place
(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 26994-26994 The number 2 argument of floor code is an instance of postal place
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 27037-27037 The number 1 argument of post neighborhood is an instance of postal place
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 27063-27063 The number 1 argument of post country is an instance of postal place
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 27104-27104 The number 1 argument of post district is an instance of postal place
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 27120-27120 The number 1 argument of post city is an instance of postal place
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 27146-27146 The number 1 argument of post postcode area is an instance of postal place
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 27177-27177 The number 1 argument of post street is an instance of postal place
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 27190-27190 The number 2 argument of post street number is an instance of postal place
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 27201-27201 The number 2 argument of post post office box is an instance of postal place
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 27216-27216 The number 2 argument of post address text is an instance of postal place

antecedent
-------------------------


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 27040-27045 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 27077-27084 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 27111-27116 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 27127-27132 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 27154-27159 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 2052-2070 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 YV 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
(=>
    (instance ?BUS Business)
    (exists (?PP)
        (and
            (instance ?PP PostalPlace)
            (located ?BUS ?PP))))		 Society.kif 247-252 If X is an instance of business, then there exists Y such that Y is an instance of postal place and X is located at Y


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-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners