Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 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

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


(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 26879-26879 Military installation is a subclass of postal place
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 26880-26880 Place of commerce is a subclass of postal place

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


(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 25541-25541 The number 1 argument of work address is an instance of postal place
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 26893-26893 The number 1 argument of post contact site is an instance of postal place
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 26906-26906 The number 2 argument of unit number is an instance of postal place
(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 26912-26912 The number 2 argument of floor code is an instance of postal place
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 26955-26955 The number 1 argument of post neighborhood is an instance of postal place
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 26981-26981 The number 1 argument of post country is an instance of postal place
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 27022-27022 The number 1 argument of post district is an instance of postal place
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 27038-27038 The number 1 argument of post city is an instance of postal place
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 27064-27064 The number 1 argument of post postcode area is an instance of postal place
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 27095-27095 The number 1 argument of post street is an instance of postal place
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 27108-27108 The number 2 argument of post street number is an instance of postal place
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 27119-27119 The number 2 argument of post post office box is an instance of postal place
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 27134-27134 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 26958-26963 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 26995-27002 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 27029-27034 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 27045-27050 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 27072-27077 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 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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners