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

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 24595-24595 MilitaryInstallation est une sous-classe de PostalPlace
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 24597-24597 PlaceOfCommerce est une sous-classe de PostalPlace
(subclass Residence PostalPlace) Mid-level-ontology.kif 24596-24596 Residence est une sous-classe de PostalPlace
(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 Le nombre 2 argument de floorCode est une instance de PostalPlace
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24851-24851 Le nombre 2 argument de postAddressText est une instance de PostalPlace
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24755-24755 Le nombre 1 argument de postCity est une instance de PostalPlace
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24610-24610 Le nombre 1 argument de postContactSite est une instance de PostalPlace
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24698-24698 Le nombre 1 argument de postCountry est une instance de PostalPlace
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24739-24739 Le nombre 1 argument de postDistrict est une instance de PostalPlace
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24672-24672 Le nombre 1 argument de postNeighborhood est une instance de PostalPlace
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24836-24836 Le nombre 2 argument de postPostOfficeBox est une instance de PostalPlace
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 24781-24781 Le nombre 1 argument de postPostcodeArea est une instance de PostalPlace
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 24812-24812 Le nombre 1 argument de postStreet est une instance de PostalPlace
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 24825-24825 Le nombre 2 argument de postStreetNumber est une instance de PostalPlace
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 24623-24623 Le nombre 2 argument de unitNumber est une instance de PostalPlace
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23222-23222 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 24789-24794 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 24762-24767 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 24675-24680 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 24746-24751 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 24712-24719 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 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