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 est une sous-classe de ContactSite
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 26251-26251 PostalPlace est une sous-classe de LocalizablePlace
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 26250-26250 PostalPlace est une sous-classe de artefact stationnaire

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 26258-26258 MilitaryInstallation est une sous-classe de PostalPlace
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 26260-26260 PlaceOfCommerce est une sous-classe de PostalPlace
(subclass Residence PostalPlace) Mid-level-ontology.kif 26259-26259 Residence est une sous-classe de PostalPlace
(termFormat EnglishLanguage PostalPlace "postal place") Mid-level-ontology.kif 26256-26256 Residence est une sous-classe de PostalPlace

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 26292-26292 Le nombre 2 argument de floorCode est une instance de PostalPlace
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 26514-26514 Le nombre 2 argument de postAddressText est une instance de PostalPlace
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 26418-26418 Le nombre 1 argument de postCity est une instance de PostalPlace
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 26273-26273 Le nombre 1 argument de postContactSite est une instance de PostalPlace
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 26361-26361 Le nombre 1 argument de postCountry est une instance de PostalPlace
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 26402-26402 Le nombre 1 argument de postDistrict est une instance de PostalPlace
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 26335-26335 Le nombre 1 argument de postNeighborhood est une instance de PostalPlace
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 26499-26499 Le nombre 2 argument de postPostOfficeBox est une instance de PostalPlace
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 26444-26444 Le nombre 1 argument de postPostcodeArea est une instance de PostalPlace
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 26475-26475 Le nombre 1 argument de postStreet est une instance de PostalPlace
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 26488-26488 Le nombre 2 argument de postStreetNumber est une instance de PostalPlace
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 26286-26286 Le nombre 2 argument de unitNumber est une instance de PostalPlace
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 24864-24864 Le nombre 1 argument de workAddress est une instance de PostalPlace

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 26452-26457 PostalPlace est situ� � PostcodeArea PostalPlace est une instance de PostalPlace PostcodeArea est une instance de PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))		 Mid-level-ontology.kif 26425-26430 PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace ville est une instance de ville postCity PostalPlace and ville
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 26338-26343 PostalPlace est situ� � Neighborhood PostalPlace est une instance de PostalPlace Neighborhood est une instance de Neighborhood postNeighborhood PostalPlace and Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 26409-26414 PostalPlace est situ� � Etat ou province PostalPlace est une instance de PostalPlace Etat ou province est une instance de Etat ou province postDistrict PostalPlace and Etat ou province
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 26375-26382 PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique

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