PostalPlace - Sigma Knowledge base Browser

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 26253-26255
(subclass PostalPlace ContactSite)	Mid-level-ontology.kif 26252-26252	PostalPlace 是 ContactSite 的 subclass
(subclass PostalPlace LocalizablePlace)	Mid-level-ontology.kif 26251-26251	PostalPlace 是 LocalizablePlace 的 subclass
(subclass PostalPlace StationaryArtifact)	Mid-level-ontology.kif 26250-26250	PostalPlace 是固定人工制品的 subclass

appearance as argument number 2

(subclass MilitaryInstallation PostalPlace)	Mid-level-ontology.kif 26258-26258	军事装置是 PostalPlace 的 subclass
(subclass PlaceOfCommerce PostalPlace)	Mid-level-ontology.kif 26260-26260	商业地点是 PostalPlace 的 subclass
(subclass Residence PostalPlace)	Mid-level-ontology.kif 26259-26259	住宅是 PostalPlace 的 subclass
(termFormat EnglishLanguage PostalPlace "postal place")	Mid-level-ontology.kif 26256-26256	住宅是 PostalPlace 的 subclass

appearance as argument number 3

(domain floorCode 2 PostalPlace)	Mid-level-ontology.kif 26292-26292	floorCode 的 2 数量是 PostalPlace 的 instance
(domain postAddressText 2 PostalPlace)	Mid-level-ontology.kif 26514-26514	postAddressText 的 2 数量是 PostalPlace 的 instance
(domain postCity 1 PostalPlace)	Mid-level-ontology.kif 26418-26418	postCity 的 1 数量是 PostalPlace 的 instance
(domain postContactSite 1 PostalPlace)	Mid-level-ontology.kif 26273-26273	postContactSite 的 1 数量是 PostalPlace 的 instance
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 26361-26361	postCountry 的 1 数量是 PostalPlace 的 instance
(domain postDistrict 1 PostalPlace)	Mid-level-ontology.kif 26402-26402	postDistrict 的 1 数量是 PostalPlace 的 instance
(domain postNeighborhood 1 PostalPlace)	Mid-level-ontology.kif 26335-26335	postNeighborhood 的 1 数量是 PostalPlace 的 instance
(domain postPostOfficeBox 2 PostalPlace)	Mid-level-ontology.kif 26499-26499	postPostOfficeBox 的 2 数量是 PostalPlace 的 instance
(domain postPostcodeArea 1 PostalPlace)	Mid-level-ontology.kif 26444-26444	postPostcodeArea 的 1 数量是 PostalPlace 的 instance
(domain postStreet 1 PostalPlace)	Mid-level-ontology.kif 26475-26475	postStreet 的 1 数量是 PostalPlace 的 instance
(domain postStreetNumber 2 PostalPlace)	Mid-level-ontology.kif 26488-26488	postStreetNumber 的 2 数量是 PostalPlace 的 instance
(domain unitNumber 2 PostalPlace)	Mid-level-ontology.kif 26286-26286	单位号码的 2 数量是 PostalPlace 的 instance
(domain workAddress 1 PostalPlace)	Mid-level-ontology.kif 24864-24864	工作地址的 1 数量是 PostalPlace 的 instance

antecedent

(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA))	Mid-level-ontology.kif 26452-26457	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 26425-26430	PostalPlace 是 located 在城市和那个 PostalPlace 是 PostalPlace 的 instance 和那个城市是城市的 instance 若且唯若那个 PostalPlace 是在那个城市
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 26338-26343	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 26409-26414	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 26375-26382	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 2046-2064

如果过程是 ShuttleService 的 instance，
然后有存在串列，客体， and 和施事体这样那个施事体是那个过程的 agent 和那个施事体 possesses 那个客体和那个客体是汽车的 instance 和那个串列是串列的 instance 和对所有实体
- 如果那个实体是那个串列的 member，
- 然后那个实体是 PostalPlace 的 instance 和有存在另一个过程这样那个另外过程是运输的 instance 和那个施事体是那个另外过程的 agent 和那个客体是导致那个另外过程的 instrument 和那个另外过程在那个实体结束

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

KB Term:			Term intersection

English Word: