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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PostalPlace
PostalPlace

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 22387-22389
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 22386-22386 subclass PostalPlace and ContactSite
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 22385-22385 subclass PostalPlace and LocalizablePlace
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 22384-22384 subclass PostalPlace and StationaryArtifact

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 22391-22391 subclass MilitaryInstallation and PostalPlace
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 22393-22393 subclass PlaceOfCommerce and PostalPlace
(subclass Residence PostalPlace) Mid-level-ontology.kif 22392-22392 subclass Residence and PostalPlace

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 22425-22425 domain floorCode, 2 and PostalPlace
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 22745-22745 domain postAddressText, 2 and PostalPlace
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 22551-22551 domain postCity, 1 and PostalPlace
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 22406-22406 domain postContactSite, 1 and PostalPlace
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 22494-22494 domain postCountry, 1 and PostalPlace
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 22535-22535 domain postDistrict, 1 and PostalPlace
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 22468-22468 domain postNeighborhood, 1 and PostalPlace
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 22632-22632 domain postPostOfficeBox, 2 and PostalPlace
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 22577-22577 domain postPostcodeArea, 1 and PostalPlace
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 22608-22608 domain postStreet, 1 and PostalPlace
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 22621-22621 domain postStreetNumber, 2 and PostalPlace
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 22419-22419 domain unitNumber, 2 and PostalPlace
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 21124-21124 domain workAddress, 1 and PostalPlace

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 22585-22590 located PostalPlace and PostcodeArea instance PostalPlace and PostalPlace instance PostcodeArea and PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))		 Mid-level-ontology.kif 22558-22563 located PostalPlace and City instance PostalPlace and PostalPlace instance City and City postCity PostalPlace and City
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 22471-22476 located PostalPlace and Neighborhood instance PostalPlace and PostalPlace instance Neighborhood and Neighborhood postNeighborhood PostalPlace and Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 22542-22547 located PostalPlace and StateOrProvince instance PostalPlace and PostalPlace instance StateOrProvince and StateOrProvince postDistrict PostalPlace and StateOrProvince
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 22508-22515 located PostalPlace and GeopoliticalArea instance PostalPlace and PostalPlace instance GeopoliticalArea and Nation instance GeopoliticalArea and DependencyOrSpecialSovereigntyArea postCountry PostalPlace and GeopoliticalArea

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 1983-2001


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners