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 26260-26262
(subclass PostalPlace ContactSite)	Mid-level-ontology.kif 26259-26259	PostalPlace 是 ContactSite 的 subclass
(subclass PostalPlace LocalizablePlace)	Mid-level-ontology.kif 26258-26258	PostalPlace 是 LocalizablePlace 的 subclass
(subclass PostalPlace StationaryArtifact)	Mid-level-ontology.kif 26257-26257	PostalPlace 是固定人工制品的 subclass

appearance as argument number 2

(subclass MilitaryInstallation PostalPlace)	Mid-level-ontology.kif 26265-26265	军事装置是 PostalPlace 的 subclass
(subclass PlaceOfCommerce PostalPlace)	Mid-level-ontology.kif 26267-26267	商业地点是 PostalPlace 的 subclass
(subclass Residence PostalPlace)	Mid-level-ontology.kif 26266-26266	住宅是 PostalPlace 的 subclass
(termFormat EnglishLanguage PostalPlace "postal place")	Mid-level-ontology.kif 26263-26263	住宅是 PostalPlace 的 subclass

appearance as argument number 3

(domain floorCode 2 PostalPlace)	Mid-level-ontology.kif 26299-26299	floorCode 的 2 数量是 PostalPlace 的 instance
(domain postAddressText 2 PostalPlace)	Mid-level-ontology.kif 26521-26521	postAddressText 的 2 数量是 PostalPlace 的 instance
(domain postCity 1 PostalPlace)	Mid-level-ontology.kif 26425-26425	postCity 的 1 数量是 PostalPlace 的 instance
(domain postContactSite 1 PostalPlace)	Mid-level-ontology.kif 26280-26280	postContactSite 的 1 数量是 PostalPlace 的 instance
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 26368-26368	postCountry 的 1 数量是 PostalPlace 的 instance
(domain postDistrict 1 PostalPlace)	Mid-level-ontology.kif 26409-26409	postDistrict 的 1 数量是 PostalPlace 的 instance
(domain postNeighborhood 1 PostalPlace)	Mid-level-ontology.kif 26342-26342	postNeighborhood 的 1 数量是 PostalPlace 的 instance
(domain postPostOfficeBox 2 PostalPlace)	Mid-level-ontology.kif 26506-26506	postPostOfficeBox 的 2 数量是 PostalPlace 的 instance
(domain postPostcodeArea 1 PostalPlace)	Mid-level-ontology.kif 26451-26451	postPostcodeArea 的 1 数量是 PostalPlace 的 instance
(domain postStreet 1 PostalPlace)	Mid-level-ontology.kif 26482-26482	postStreet 的 1 数量是 PostalPlace 的 instance
(domain postStreetNumber 2 PostalPlace)	Mid-level-ontology.kif 26495-26495	postStreetNumber 的 2 数量是 PostalPlace 的 instance
(domain unitNumber 2 PostalPlace)	Mid-level-ontology.kif 26293-26293	单位号码的 2 数量是 PostalPlace 的 instance
(domain workAddress 1 PostalPlace)	Mid-level-ontology.kif 24872-24872	工作地址的 1 数量是 PostalPlace 的 instance

antecedent

(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA))	Mid-level-ontology.kif 26459-26464	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 26432-26437	PostalPlace 是 located 在城市和那个 PostalPlace 是 PostalPlace 的 instance 和那个城市是城市的 instance 若且唯若那个 PostalPlace 是在那个城市
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 26345-26350	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 26416-26421	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 26382-26389	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

如果过程是 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: