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

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


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

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 24629-24629 floorCode の数値 2 引数は PostalPlaceinstance では %n
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24851-24851 postAddressText の数値 2 引数は PostalPlaceinstance では %n
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24755-24755 postCity の数値 1 引数は PostalPlaceinstance では %n
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24610-24610 postContactSite の数値 1 引数は PostalPlaceinstance では %n
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24698-24698 postCountry の数値 1 引数は PostalPlaceinstance では %n
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24739-24739 postDistrict の数値 1 引数は PostalPlaceinstance では %n
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24672-24672 postNeighborhood の数値 1 引数は PostalPlaceinstance では %n
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24836-24836 postPostOfficeBox の数値 2 引数は PostalPlaceinstance では %n
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 24781-24781 postPostcodeArea の数値 1 引数は PostalPlaceinstance では %n
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 24812-24812 postStreet の数値 1 引数は PostalPlaceinstance では %n
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 24825-24825 postStreetNumber の数値 2 引数は PostalPlaceinstance では %n
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 24623-24623 unitNumber の数値 2 引数は PostalPlaceinstance では %n
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23222-23222 workAddress の数値 1 引数は PostalPlaceinstance では %n

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 24789-24794 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 24762-24767 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 24675-24680 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 24746-24751 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 24712-24719 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