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 24590-24592
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 24589-24589 PostalPlaceContactSitesubclass
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 24588-24588 PostalPlaceLocalizablePlacesubclass
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 24587-24587 PostalPlace固定人工制品subclass

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 24595-24595 军事装置PostalPlacesubclass
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 24597-24597 商业地点PostalPlacesubclass
(subclass Residence PostalPlace) Mid-level-ontology.kif 24596-24596 住宅PostalPlacesubclass
(termFormat EnglishLanguage PostalPlace "postal place") Mid-level-ontology.kif 24593-24593

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 24629-24629 floorCode 的 2 数量 是 PostalPlaceinstance
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24851-24851 postAddressText 的 2 数量 是 PostalPlaceinstance
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24755-24755 postCity 的 1 数量 是 PostalPlaceinstance
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24610-24610 postContactSite 的 1 数量 是 PostalPlaceinstance
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24698-24698 postCountry 的 1 数量 是 PostalPlaceinstance
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24739-24739 postDistrict 的 1 数量 是 PostalPlaceinstance
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24672-24672 postNeighborhood 的 1 数量 是 PostalPlaceinstance
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24836-24836 postPostOfficeBox 的 2 数量 是 PostalPlaceinstance
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 24781-24781 postPostcodeArea 的 1 数量 是 PostalPlaceinstance
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 24812-24812 postStreet 的 1 数量 是 PostalPlaceinstance
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 24825-24825 postStreetNumber 的 2 数量 是 PostalPlaceinstance
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 24623-24623 单位号码 的 2 数量 是 PostalPlaceinstance
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23222-23222 工作地址 的 1 数量 是 PostalPlaceinstance

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 24789-24794 PostalPlacelocated PostcodeArea那个 PostalPlacePostalPlaceinstance那个 PostcodeAreaPostcodeAreainstance 若且唯若 那个 PostalPlace 是在 post code 那个 PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 24762-24767 PostalPlacelocated 城市那个 PostalPlacePostalPlaceinstance那个 城市城市instance 若且唯若 那个 PostalPlace 是在 那个 城市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 24675-24680 PostalPlacelocated Neighborhood那个 PostalPlacePostalPlaceinstance那个 NeighborhoodNeighborhoodinstance 若且唯若 那个 PostalPlace 是在 那个 Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 24746-24751 PostalPlacelocated 州或省那个 PostalPlacePostalPlaceinstance那个 州或省州或省instance 若且唯若 那个 PostalPlace 是在 那个 州或省
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 24712-24719 PostalPlacelocated 地缘政治区域那个 PostalPlacePostalPlaceinstance那个 地缘政治区域国家instance那个 地缘政治区域依赖或特殊主权领域instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域

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