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 24591-24593
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 24590-24590 子類 PostalPlace and ContactSite
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 24589-24589 子類 PostalPlace and LocalizablePlace
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 24588-24588 子類 PostalPlace and StationaryArtifact

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 24596-24596 子類 軍事裝置 and PostalPlace
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 24598-24598 子類 商業地點 and PostalPlace
(subclass Residence PostalPlace) Mid-level-ontology.kif 24597-24597 子類 住宅 and 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 域 floorCode, 2 and PostalPlace
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 24852-24852 域 postAddressText, 2 and PostalPlace
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 24756-24756 域 postCity, 1 and PostalPlace
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24611-24611 域 postContactSite, 1 and PostalPlace
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24699-24699 域 postCountry, 1 and PostalPlace
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24740-24740 域 postDistrict, 1 and PostalPlace
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 24673-24673 域 postNeighborhood, 1 and PostalPlace
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 24837-24837 域 postPostOfficeBox, 2 and PostalPlace
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 24782-24782 域 postPostcodeArea, 1 and PostalPlace
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 24813-24813 域 postStreet, 1 and PostalPlace
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 24826-24826 域 postStreetNumber, 2 and PostalPlace
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 24624-24624 域 單位號碼, 2 and PostalPlace
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23223-23223 域 工作地址, 1 and PostalPlace

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 24790-24795 位於 PostalPlace and PostcodeArea 例 PostalPlace and PostalPlace 例 PostcodeArea and PostcodeArea PostalPlace 是在 post code PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))		 Mid-level-ontology.kif 24763-24768 位於 PostalPlace and City 例 PostalPlace and PostalPlace 例 City and City PostalPlace 是在 City
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 24676-24681 位於 PostalPlace and Neighborhood 例 PostalPlace and PostalPlace 例 Neighborhood and Neighborhood PostalPlace 是在 Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24747-24752 位於 PostalPlace and StateOrProvince 例 PostalPlace and PostalPlace 例 StateOrProvince and StateOrProvince PostalPlace 是在 StateOrProvince
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 24713-24720 位於 PostalPlace and GeopoliticalArea 例 PostalPlace and PostalPlace 例 GeopoliticalArea and Nation 例 GeopoliticalArea and 依賴或特殊主權領域 PostalPlace 是在 GeopoliticalArea

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