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

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


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

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 24630-24630 floorCode 的 2 数量 是 PostalPlaceinstance
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24852-24852 postAddressText 的 2 数量 是 PostalPlaceinstance
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24756-24756 postCity 的 1 数量 是 PostalPlaceinstance
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24611-24611 postContactSite 的 1 数量 是 PostalPlaceinstance
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24699-24699 postCountry 的 1 数量 是 PostalPlaceinstance
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24740-24740 postDistrict 的 1 数量 是 PostalPlaceinstance
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24673-24673 postNeighborhood 的 1 数量 是 PostalPlaceinstance
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24837-24837 postPostOfficeBox 的 2 数量 是 PostalPlaceinstance
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 24782-24782 postPostcodeArea 的 1 数量 是 PostalPlaceinstance
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 24813-24813 postStreet 的 1 数量 是 PostalPlaceinstance
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 24826-24826 postStreetNumber 的 2 数量 是 PostalPlaceinstance
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 24624-24624 单位号码 的 2 数量 是 PostalPlaceinstance
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23223-23223 工作地址 的 1 数量 是 PostalPlaceinstance

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 24790-24795 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 24763-24768 PostalPlacelocated 城市那个 PostalPlacePostalPlaceinstance那个 城市城市instance 若且唯若 那个 PostalPlace 是在 那个 城市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 24676-24681 PostalPlacelocated Neighborhood那个 PostalPlacePostalPlaceinstance那个 NeighborhoodNeighborhoodinstance 若且唯若 那个 PostalPlace 是在 那个 Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 24747-24752 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 24713-24720 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 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