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 22451-22453
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 22450-22450 PostalPlace 是 ContactSite 的 subclass
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 22449-22449 PostalPlace 是 LocalizablePlace 的 subclass
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 22448-22448 PostalPlace 是 固定人工制品 的 subclass

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 22455-22455 军事装置 是 PostalPlace 的 subclass
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 22457-22457 商业地点 是 PostalPlace 的 subclass
(subclass Residence PostalPlace) Mid-level-ontology.kif 22456-22456 住宅 是 PostalPlace 的 subclass

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 22489-22489 floorCode 的 2 数量 是 PostalPlace 的 instance
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 22809-22809 postAddressText 的 2 数量 是 PostalPlace 的 instance
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 22615-22615 postCity 的 1 数量 是 PostalPlace 的 instance
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 22470-22470 postContactSite 的 1 数量 是 PostalPlace 的 instance
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 22558-22558 postCountry 的 1 数量 是 PostalPlace 的 instance
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 22599-22599 postDistrict 的 1 数量 是 PostalPlace 的 instance
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 22532-22532 postNeighborhood 的 1 数量 是 PostalPlace 的 instance
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 22696-22696 postPostOfficeBox 的 2 数量 是 PostalPlace 的 instance
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 22641-22641 postPostcodeArea 的 1 数量 是 PostalPlace 的 instance
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 22672-22672 postStreet 的 1 数量 是 PostalPlace 的 instance
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 22685-22685 postStreetNumber 的 2 数量 是 PostalPlace 的 instance
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 22483-22483 单位号码 的 2 数量 是 PostalPlace 的 instance
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 21188-21188 工作地址 的 1 数量 是 PostalPlace 的 instance

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 22649-22654 PostalPlace 是 located 在 PostcodeArea 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 PostcodeArea 是 PostcodeArea 的 instance 若且唯若 那个 PostalPlace 是在 post code 那个 PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))		 Mid-level-ontology.kif 22622-22627 PostalPlace 是 located 在 城市 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 城市 是 城市 的 instance 若且唯若 那个 PostalPlace 是在 那个 城市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 22535-22540 PostalPlace 是 located 在 Neighborhood 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 Neighborhood 是 Neighborhood 的 instance 若且唯若 那个 PostalPlace 是在 那个 Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 22606-22611 PostalPlace 是 located 在 州或省 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 州或省 是 州或省 的 instance 若且唯若 那个 PostalPlace 是在 那个 州或省
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 22572-22579 PostalPlace 是 located 在 地缘政治区域 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 地缘政治区域 是 国家 的 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 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