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


KB Term:  Term intersection
English Word: 

  PostalPlace

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners