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)

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


(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 26987-26987 Postal place is a subclass of stationary artifact
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 26988-26988 Postal place is a subclass of localizable place
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 26989-26989 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.") Mid-level-ontology.kif 26990-26992 Postal place is a subclass of contact site

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


(termFormat EnglishLanguage PostalPlace "postal place") Mid-level-ontology.kif 26993-26993
(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 26995-26995 Military installation is a subclass of postal place
(subclass Residence PostalPlace) Mid-level-ontology.kif 26996-26996 Residence is a subclass of postal place
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 26997-26997 Place of commerce is a subclass of postal place

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


(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 25601-25601 The number 1 argument of work address is an instance of postal place
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 27010-27010 The number 1 argument of post contact site is an instance of postal place
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 27023-27023 The number 2 argument of unit number is an instance of postal place
(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 27029-27029 The number 2 argument of floor code is an instance of postal place
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 27072-27072 The number 1 argument of post neighborhood is an instance of postal place
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 27098-27098 The number 1 argument of post country is an instance of postal place
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 27139-27139 The number 1 argument of post district is an instance of postal place
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 27155-27155 The number 1 argument of post city is an instance of postal place
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 27181-27181 The number 1 argument of post postcode area is an instance of postal place
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 27212-27212 The number 1 argument of post street is an instance of postal place
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 27225-27225 The number 2 argument of post street number is an instance of postal place
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 27236-27236 The number 2 argument of post post office box is an instance of postal place
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 27251-27251 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 27075-27080 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 27112-27119 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 27146-27151 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 27162-27167 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 27189-27194 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 2046-2064 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 is open source software produced by Articulate Software and its partners