TreeView 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 24648-24650
(subclass PostalPlace ContactSite)	Mid-level-ontology.kif 24647-24647	PostalPlace は ContactSite の subclass では %n
(subclass PostalPlace LocalizablePlace)	Mid-level-ontology.kif 24646-24646	PostalPlace は LocalizablePlace の subclass では %n
(subclass PostalPlace StationaryArtifact)	Mid-level-ontology.kif 24645-24645	PostalPlace は固定アーチファクトの subclass では %n

appearance as argument number 2

(subclass MilitaryInstallation PostalPlace)	Mid-level-ontology.kif 24653-24653	MilitaryInstallation は PostalPlace の subclass では %n
(subclass PlaceOfCommerce PostalPlace)	Mid-level-ontology.kif 24655-24655	PlaceOfCommerce は PostalPlace の subclass では %n
(subclass Residence PostalPlace)	Mid-level-ontology.kif 24654-24654	Residence は PostalPlace の subclass では %n
(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 では %n
(domain postAddressText 2 PostalPlace)	Mid-level-ontology.kif 24909-24909	postAddressText の数値 2 引数は PostalPlace の instance では %n
(domain postCity 1 PostalPlace)	Mid-level-ontology.kif 24813-24813	postCity の数値 1 引数は PostalPlace の instance では %n
(domain postContactSite 1 PostalPlace)	Mid-level-ontology.kif 24668-24668	postContactSite の数値 1 引数は PostalPlace の instance では %n
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 24756-24756	postCountry の数値 1 引数は PostalPlace の instance では %n
(domain postDistrict 1 PostalPlace)	Mid-level-ontology.kif 24797-24797	postDistrict の数値 1 引数は PostalPlace の instance では %n
(domain postNeighborhood 1 PostalPlace)	Mid-level-ontology.kif 24730-24730	postNeighborhood の数値 1 引数は PostalPlace の instance では %n
(domain postPostOfficeBox 2 PostalPlace)	Mid-level-ontology.kif 24894-24894	postPostOfficeBox の数値 2 引数は PostalPlace の instance では %n
(domain postPostcodeArea 1 PostalPlace)	Mid-level-ontology.kif 24839-24839	postPostcodeArea の数値 1 引数は PostalPlace の instance では %n
(domain postStreet 1 PostalPlace)	Mid-level-ontology.kif 24870-24870	postStreet の数値 1 引数は PostalPlace の instance では %n
(domain postStreetNumber 2 PostalPlace)	Mid-level-ontology.kif 24883-24883	postStreetNumber の数値 2 引数は PostalPlace の instance では %n
(domain unitNumber 2 PostalPlace)	Mid-level-ontology.kif 24681-24681	unitNumber の数値 2 引数は PostalPlace の instance では %n
(domain workAddress 1 PostalPlace)	Mid-level-ontology.kif 23275-23275	workAddress の数値 1 引数は PostalPlace の instance では %n

antecedent

(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA))	Mid-level-ontology.kif 24847-24852	PostalPlace は PostcodeArea に located して %n PostalPlace は PostalPlace の instance では %n PostcodeArea は PostcodeArea の instance では %n postPostcodeArea PostalPlace and PostcodeArea
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 24820-24825	PostalPlace は都市に located して %n PostalPlace は PostalPlace の instance では %n 都市は都市の instance では %n postCity PostalPlace and 都市
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 24733-24738	PostalPlace は Neighborhood に located して %n PostalPlace は PostalPlace の instance では %n Neighborhood は Neighborhood の instance では %n postNeighborhood PostalPlace and Neighborhood
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24804-24809	PostalPlace は州に located して %n PostalPlace は PostalPlace の instance では %n 州は州の instance では %n postDistrict PostalPlace and 州
(<=> (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 して %n PostalPlace は PostalPlace の instance では %n 地政学的地域は国民の instance では %n 地政学的地域は DependencyOrSpecialSovereigntyArea の instance では %n postCountry PostalPlace and 地政学的地域

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 では %n
リストオブジェクト and AutonomousAgent AutonomousAgent は工程の agent では %n AutonomousAgent はオブジェクトを possesses %n{ない} オブジェクトは Automobile の instance では %n リストはリストの instance では %n エンティティー
- エンティティーはリストの member では %n
- エンティティーは PostalPlace の instance では %n 工程工程は交通手段の instance では %n AutonomousAgent は工程の agent では %n オブジェクトは工程の instrument では %n 工程はエンティティーに ends %n{ない}

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

KB Term:			Term intersection

English Word: