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 24648-24650
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 24647-24647 PostalPlace 是 ContactSite 的 subclass
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 24646-24646 PostalPlace 是 LocalizablePlace 的 subclass
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 24645-24645 PostalPlace 是 固定人工制品 的 subclass

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 24653-24653 军事装置 是 PostalPlace 的 subclass
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 24655-24655 商业地点 是 PostalPlace 的 subclass
(subclass Residence PostalPlace) Mid-level-ontology.kif 24654-24654 住宅 是 PostalPlace 的 subclass
(termFormat EnglishLanguage PostalPlace "postal place") Mid-level-ontology.kif 24651-24651

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 24687-24687 floorCode 的 2 数量 是 PostalPlace 的 instance
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24909-24909 postAddressText 的 2 数量 是 PostalPlace 的 instance
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24813-24813 postCity 的 1 数量 是 PostalPlace 的 instance
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24668-24668 postContactSite 的 1 数量 是 PostalPlace 的 instance
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24756-24756 postCountry 的 1 数量 是 PostalPlace 的 instance
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24797-24797 postDistrict 的 1 数量 是 PostalPlace 的 instance
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24730-24730 postNeighborhood 的 1 数量 是 PostalPlace 的 instance
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24894-24894 postPostOfficeBox 的 2 数量 是 PostalPlace 的 instance
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 24839-24839 postPostcodeArea 的 1 数量 是 PostalPlace 的 instance
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 24870-24870 postStreet 的 1 数量 是 PostalPlace 的 instance
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 24883-24883 postStreetNumber 的 2 数量 是 PostalPlace 的 instance
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 24681-24681 单位号码 的 2 数量 是 PostalPlace 的 instance
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23275-23275 工作地址 的 1 数量 是 PostalPlace 的 instance

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 24847-24852 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 24820-24825 PostalPlace 是 located 在 城市 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 城市 是 城市 的 instance 若且唯若 那个 PostalPlace 是在 那个 城市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 24733-24738 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 24804-24809 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 24770-24777 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 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