Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PostalPlace

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 24591-24593
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 24590-24590 PostalPlaceContactSitesubclass では %n
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 24589-24589 PostalPlaceLocalizablePlacesubclass では %n
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 24588-24588 PostalPlace固定アーチファクトsubclass では %n

appearance as argument number 2
-------------------------


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 24596-24596 MilitaryInstallationPostalPlacesubclass では %n
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 24598-24598 PlaceOfCommercePostalPlacesubclass では %n
(subclass Residence PostalPlace) Mid-level-ontology.kif 24597-24597 ResidencePostalPlacesubclass では %n
(termFormat EnglishLanguage PostalPlace "postal place") Mid-level-ontology.kif 24594-24594

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 24630-24630 floorCode の数値 2 引数は PostalPlaceinstance では %n
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24852-24852 postAddressText の数値 2 引数は PostalPlaceinstance では %n
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24756-24756 postCity の数値 1 引数は PostalPlaceinstance では %n
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24611-24611 postContactSite の数値 1 引数は PostalPlaceinstance では %n
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24699-24699 postCountry の数値 1 引数は PostalPlaceinstance では %n
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24740-24740 postDistrict の数値 1 引数は PostalPlaceinstance では %n
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24673-24673 postNeighborhood の数値 1 引数は PostalPlaceinstance では %n
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24837-24837 postPostOfficeBox の数値 2 引数は PostalPlaceinstance では %n
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 24782-24782 postPostcodeArea の数値 1 引数は PostalPlaceinstance では %n
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 24813-24813 postStreet の数値 1 引数は PostalPlaceinstance では %n
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 24826-24826 postStreetNumber の数値 2 引数は PostalPlaceinstance では %n
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 24624-24624 unitNumber の数値 2 引数は PostalPlaceinstance では %n
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23223-23223 workAddress の数値 1 引数は PostalPlaceinstance では %n

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 24790-24795 PostalPlace PostcodeArealocated して %n PostalPlacePostalPlaceinstance では %n PostcodeAreaPostcodeAreainstance では %n postPostcodeArea PostalPlace and PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 24763-24768 PostalPlace 都市located して %n PostalPlacePostalPlaceinstance では %n 都市都市instance では %n postCity PostalPlace and 都市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 24676-24681 PostalPlace Neighborhoodlocated して %n PostalPlacePostalPlaceinstance では %n NeighborhoodNeighborhoodinstance では %n postNeighborhood PostalPlace and Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 24747-24752 PostalPlacelocated して %n PostalPlacePostalPlaceinstance では %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 24713-24720 PostalPlace 地政学的地域located して %n PostalPlacePostalPlaceinstance では %n 地政学的地域国民instance では %n 地政学的地域DependencyOrSpecialSovereigntyAreainstance では %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


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