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 22430-22432
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 22429-22429
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 22428-22428
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 22427-22427

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 22434-22434
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 22436-22436
(subclass Residence PostalPlace) Mid-level-ontology.kif 22435-22435

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 22468-22468
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 22788-22788
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 22594-22594
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 22449-22449
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 22537-22537
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 22578-22578
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 22511-22511
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 22675-22675
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 22620-22620
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 22651-22651
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 22664-22664
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 22462-22462
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 21167-21167

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22628-22633
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22601-22606
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 22514-22519
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22585-22590
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22551-22558

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 1983-2001


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