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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PostalPlace

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 24059-24061
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 24058-24058 subclass PostalPlace and ContactSite
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 24057-24057 subclass PostalPlace and LocalizablePlace
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 24056-24056 subclass PostalPlace and StationaryArtifact

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 24063-24063 subclass MilitaryInstallation and PostalPlace
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 24065-24065 subclass PlaceOfCommerce and PostalPlace
(subclass Residence PostalPlace) Mid-level-ontology.kif 24064-24064 subclass Residence and PostalPlace

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 24097-24097 domain floorCode, 2 and PostalPlace
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24319-24319 domain postAddressText, 2 and PostalPlace
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24223-24223 domain postCity, 1 and PostalPlace
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24078-24078 domain postContactSite, 1 and PostalPlace
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24166-24166 domain postCountry, 1 and PostalPlace
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24207-24207 domain postDistrict, 1 and PostalPlace
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24140-24140 domain postNeighborhood, 1 and PostalPlace
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24304-24304 domain postPostOfficeBox, 2 and PostalPlace
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 24249-24249 domain postPostcodeArea, 1 and PostalPlace
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 24280-24280 domain postStreet, 1 and PostalPlace
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 24293-24293 domain postStreetNumber, 2 and PostalPlace
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 24091-24091 domain unitNumber, 2 and PostalPlace
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 22755-22755 domain workAddress, 1 and PostalPlace

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 24257-24262 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 24230-24235 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 24143-24148 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 24214-24219 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 24180-24187 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 2035-2053


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 is open source software produced by Articulate Software and its partners