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 è una sottoclasse di ContactSite
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 24588-24588 PostalPlace è una sottoclasse di LocalizablePlace
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 24587-24587 PostalPlace è una sottoclasse di ManufattoStatico

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 24595-24595 MilitaryInstallation è una sottoclasse di PostalPlace
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 24597-24597 PlaceOfCommerce è una sottoclasse di PostalPlace
(subclass Residence PostalPlace) Mid-level-ontology.kif 24596-24596 Residence è una sottoclasse di 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 Il numero 2 argomenti di floorCode è un istanza di PostalPlace
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24851-24851 Il numero 2 argomenti di postAddressText è un istanza di PostalPlace
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24755-24755 Il numero 1 argomenti di postCity è un istanza di PostalPlace
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24610-24610 Il numero 1 argomenti di postContactSite è un istanza di PostalPlace
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24698-24698 Il numero 1 argomenti di postCountry è un istanza di PostalPlace
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24739-24739 Il numero 1 argomenti di postDistrict è un istanza di PostalPlace
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24672-24672 Il numero 1 argomenti di postNeighborhood è un istanza di PostalPlace
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24836-24836 Il numero 2 argomenti di postPostOfficeBox è un istanza di PostalPlace
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 24781-24781 Il numero 1 argomenti di postPostcodeArea è un istanza di PostalPlace
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 24812-24812 Il numero 1 argomenti di postStreet è un istanza di PostalPlace
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 24825-24825 Il numero 2 argomenti di postStreetNumber è un istanza di PostalPlace
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 24623-24623 Il numero 2 argomenti di unitNumber è un istanza di PostalPlace
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23222-23222 Il numero 1 argomenti di workAddress è un istanza di PostalPlace

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 24789-24794 PostalPlace è localizzato in PostcodeArea PostalPlace è un' istanza di PostalPlace PostcodeArea è un' istanza di 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 è localizzato in Citt� PostalPlace è un' istanza di PostalPlace Citt� è un' istanza di Citt� postCity PostalPlace and Citt�
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 24675-24680 PostalPlace è localizzato in Neighborhood PostalPlace è un' istanza di PostalPlace Neighborhood è un' istanza di 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 è localizzato in StatoOProvincia PostalPlace è un' istanza di PostalPlace StatoOProvincia è un' istanza di StatoOProvincia postDistrict PostalPlace and StatoOProvincia
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 24712-24719 PostalPlace è localizzato in AreaGeopolitica PostalPlace è un' istanza di PostalPlace AreaGeopolitica è un' istanza di Nazione AreaGeopolitica è un' istanza di DependencyOrSpecialSovereigntyArea postCountry PostalPlace and AreaGeopolitica

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