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 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 MilitaryInstallation は PostalPlace の subclass では
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 26260-26260 PlaceOfCommerce は PostalPlace の subclass では
(subclass Residence PostalPlace) Mid-level-ontology.kif 26259-26259 Residence は PostalPlace の subclass では
(termFormat EnglishLanguage PostalPlace "postal place") Mid-level-ontology.kif 26256-26256 Residence は 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 unitNumber の数値 2 引数は PostalPlace の instance では
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 24864-24864 workAddress の数値 1 引数は PostalPlace の instance では

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 26452-26457 PostalPlace は PostcodeArea に located して PostalPlace は PostalPlace の instance では PostcodeArea は PostcodeArea の instance では postPostcodeArea PostalPlace and 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 では postCity PostalPlace and 都市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 26338-26343 PostalPlace は Neighborhood に located して PostalPlace は PostalPlace の instance では Neighborhood は Neighborhood の instance では postNeighborhood PostalPlace and 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 では postDistrict PostalPlace and 州
(<=>
    (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 では 地政学的地域 は DependencyOrSpecialSovereigntyArea の instance では 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 2046-2064


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