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 PostalPlaceContactSitesubclass では
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 26251-26251 PostalPlaceLocalizablePlacesubclass では
(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 MilitaryInstallationPostalPlacesubclass では
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 26260-26260 PlaceOfCommercePostalPlacesubclass では
(subclass Residence PostalPlace) Mid-level-ontology.kif 26259-26259 ResidencePostalPlacesubclass では
(termFormat EnglishLanguage PostalPlace "postal place") Mid-level-ontology.kif 26256-26256 ResidencePostalPlacesubclass では

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 26292-26292 floorCode の数値 2 引数は PostalPlaceinstance では
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 26514-26514 postAddressText の数値 2 引数は PostalPlaceinstance では
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 26418-26418 postCity の数値 1 引数は PostalPlaceinstance では
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 26273-26273 postContactSite の数値 1 引数は PostalPlaceinstance では
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 26361-26361 postCountry の数値 1 引数は PostalPlaceinstance では
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 26402-26402 postDistrict の数値 1 引数は PostalPlaceinstance では
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 26335-26335 postNeighborhood の数値 1 引数は PostalPlaceinstance では
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 26499-26499 postPostOfficeBox の数値 2 引数は PostalPlaceinstance では
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 26444-26444 postPostcodeArea の数値 1 引数は PostalPlaceinstance では
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 26475-26475 postStreet の数値 1 引数は PostalPlaceinstance では
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 26488-26488 postStreetNumber の数値 2 引数は PostalPlaceinstance では
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 26286-26286 unitNumber の数値 2 引数は PostalPlaceinstance では
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 24864-24864 workAddress の数値 1 引数は PostalPlaceinstance では

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 26452-26457 PostalPlace PostcodeArealocated して PostalPlacePostalPlaceinstance では PostcodeAreaPostcodeAreainstance では 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 して PostalPlacePostalPlaceinstance では 都市都市instance では postCity PostalPlace and 都市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 26338-26343 PostalPlace Neighborhoodlocated して PostalPlacePostalPlaceinstance では NeighborhoodNeighborhoodinstance では postNeighborhood PostalPlace and Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 26409-26414 PostalPlacelocated して PostalPlacePostalPlaceinstance では 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 して PostalPlacePostalPlaceinstance では 地政学的地域国民instance では 地政学的地域DependencyOrSpecialSovereigntyAreainstance では 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