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 e' uma sub-classe de ContactSite
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 24588-24588 PostalPlace e' uma sub-classe de LocalizablePlace
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 24587-24587 PostalPlace e' uma sub-classe de Artefato Estacionario

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 24595-24595 MilitaryInstallation e' uma sub-classe de PostalPlace
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 24597-24597 PlaceOfCommerce e' uma sub-classe de PostalPlace
(subclass Residence PostalPlace) Mid-level-ontology.kif 24596-24596 Residence e' uma sub-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 O argumento numero 2 de floorCode e' uma instancia de PostalPlace
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24851-24851 O argumento numero 2 de postAddressText e' uma instancia de PostalPlace
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24755-24755 O argumento numero 1 de postCity e' uma instancia de PostalPlace
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24610-24610 O argumento numero 1 de postContactSite e' uma instancia de PostalPlace
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24698-24698 O argumento numero 1 de postCountry e' uma instancia de PostalPlace
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24739-24739 O argumento numero 1 de postDistrict e' uma instancia de PostalPlace
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24672-24672 O argumento numero 1 de postNeighborhood e' uma instancia de PostalPlace
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24836-24836 O argumento numero 2 de postPostOfficeBox e' uma instancia de PostalPlace
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 24781-24781 O argumento numero 1 de postPostcodeArea e' uma instancia de PostalPlace
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 24812-24812 O argumento numero 1 de postStreet e' uma instancia de PostalPlace
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 24825-24825 O argumento numero 2 de postStreetNumber e' uma instancia de PostalPlace
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 24623-24623 O argumento numero 2 de unitNumber e' uma instancia de PostalPlace
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23222-23222 O argumento numero 1 de workAddress e' uma instancia de PostalPlace

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 24789-24794 PostalPlace e' situado em PostcodeArea PostalPlace e' uma instancia de PostalPlace PostcodeArea e' uma instancia 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 e' situado em Cidade PostalPlace e' uma instancia de PostalPlace Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 24675-24680 PostalPlace e' situado em Neighborhood PostalPlace e' uma instancia de PostalPlace Neighborhood e' uma instancia 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 e' situado em Estado ou Provincia PostalPlace e' uma instancia de PostalPlace Estado ou Provincia e' uma instancia de Estado ou Provincia postDistrict PostalPlace and Estado ou Provincia
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 24712-24719 PostalPlace e' situado em Area Geopolitica PostalPlace e' uma instancia de PostalPlace Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and Area Geopolitica

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