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 22430-22432
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 22429-22429 subclass PostalPlace and ContactSite
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 22428-22428 subclass PostalPlace and LocalizablePlace
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 22427-22427 subclass PostalPlace and StationaryArtifact

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 22434-22434 subclass MilitaryInstallation and PostalPlace
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 22436-22436 subclass PlaceOfCommerce and PostalPlace
(subclass Residence PostalPlace) Mid-level-ontology.kif 22435-22435 subclass Residence and PostalPlace

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 22468-22468 domain floorCode, 2 and PostalPlace
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 22788-22788 domain postAddressText, 2 and PostalPlace
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 22594-22594 domain postCity, 1 and PostalPlace
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 22449-22449 domain postContactSite, 1 and PostalPlace
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 22537-22537 domain postCountry, 1 and PostalPlace
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 22578-22578 domain postDistrict, 1 and PostalPlace
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 22511-22511 domain postNeighborhood, 1 and PostalPlace
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 22675-22675 domain postPostOfficeBox, 2 and PostalPlace
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 22620-22620 domain postPostcodeArea, 1 and PostalPlace
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 22651-22651 domain postStreet, 1 and PostalPlace
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 22664-22664 domain postStreetNumber, 2 and PostalPlace
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 22462-22462 domain unitNumber, 2 and PostalPlace
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 21167-21167 domain workAddress, 1 and PostalPlace

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22628-22633 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 22601-22606 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 22514-22519 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 22585-22590 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 22551-22558 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 3.0 is open source software produced by Articulate Software and its partners