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

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 24596-24596 MilitaryInstallation est une sous-classe de PostalPlace
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 24598-24598 PlaceOfCommerce est une sous-classe de PostalPlace
(subclass Residence PostalPlace) Mid-level-ontology.kif 24597-24597 Residence est une sous-classe de PostalPlace
(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 Le nombre 2 argument de floorCode est une instance de PostalPlace
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24852-24852 Le nombre 2 argument de postAddressText est une instance de PostalPlace
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24756-24756 Le nombre 1 argument de postCity est une instance de PostalPlace
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24611-24611 Le nombre 1 argument de postContactSite est une instance de PostalPlace
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24699-24699 Le nombre 1 argument de postCountry est une instance de PostalPlace
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24740-24740 Le nombre 1 argument de postDistrict est une instance de PostalPlace
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24673-24673 Le nombre 1 argument de postNeighborhood est une instance de PostalPlace
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24837-24837 Le nombre 2 argument de postPostOfficeBox est une instance de PostalPlace
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 24782-24782 Le nombre 1 argument de postPostcodeArea est une instance de PostalPlace
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 24813-24813 Le nombre 1 argument de postStreet est une instance de PostalPlace
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 24826-24826 Le nombre 2 argument de postStreetNumber est une instance de PostalPlace
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 24624-24624 Le nombre 2 argument de unitNumber est une instance de PostalPlace
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23223-23223 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 24790-24795 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 24763-24768 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 24676-24681 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 24747-24752 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 24713-24720 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 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