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 26253-26255
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 26252-26252
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 26251-26251
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 26250-26250

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 26258-26258
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 26260-26260
(subclass Residence PostalPlace) Mid-level-ontology.kif 26259-26259
(termFormat EnglishLanguage PostalPlace "postal place") Mid-level-ontology.kif 26256-26256

appearance as argument number 3
-------------------------


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 26292-26292
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 26514-26514
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 26418-26418
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 26273-26273
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 26361-26361
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 26402-26402
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 26335-26335
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 26499-26499
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 26444-26444
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 26475-26475
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 26488-26488
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 26286-26286
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 24864-24864

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 26452-26457
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 26425-26430
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 26338-26343
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 26409-26414
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 26375-26382

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 2046-2064


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