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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PostalPlace
PostalPlace(postal place)address

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 26253-26255
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 26252-26252 Postal place is a subclass of contact site
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 26251-26251 Postal place is a subclass of localizable place
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 26250-26250 Postal place is a subclass of stationary artifact

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 26258-26258 Military installation is a subclass of postal place
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 26260-26260 Place of commerce is a subclass of postal place
(subclass Residence PostalPlace) Mid-level-ontology.kif 26259-26259 Residence is a subclass of postal place
(termFormat EnglishLanguage PostalPlace "postal place") Mid-level-ontology.kif 26256-26256 Residence is a subclass of postal place

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 26292-26292 The number 2 argument of floor code is an instance of postal place
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 26514-26514 The number 2 argument of post address text is an instance of postal place
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 26418-26418 The number 1 argument of post city is an instance of postal place
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 26273-26273 The number 1 argument of post contact site is an instance of postal place
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 26361-26361 The number 1 argument of post country is an instance of postal place
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 26402-26402 The number 1 argument of post district is an instance of postal place
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 26335-26335 The number 1 argument of post neighborhood is an instance of postal place
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 26499-26499 The number 2 argument of post post office box is an instance of postal place
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 26444-26444 The number 1 argument of post postcode area is an instance of postal place
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 26475-26475 The number 1 argument of post street is an instance of postal place
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 26488-26488 The number 2 argument of post street number is an instance of postal place
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 26286-26286 The number 2 argument of unit number is an instance of postal place
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 24864-24864 The number 1 argument of work address is an instance of postal place

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 26452-26457 A postal place is located at a postcode area and the postal place is an instance of postal place and the postcode area is an instance of postcode area if and only if the postal place is in post code the postcode area
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 26425-26430 A postal place is located at a city and the postal place is an instance of postal place and the city is an instance of city if and only if the postal place is in the city
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 26338-26343 A postal place is located at a neighborhood and the postal place is an instance of postal place and the neighborhood is an instance of neighborhood if and only if the postal place is in the neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 26409-26414 A postal place is located at a state or province and the postal place is an instance of postal place and the state or province is an instance of state or province if and only if the postal place 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 26375-26382 A postal place is located at a geopolitical area and the postal place is an instance of postal place 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 postal place 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 2046-2064


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