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 22500-22502
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 22499-22499
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 22498-22498
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 22497-22497

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 22504-22504
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 22506-22506
(subclass Residence PostalPlace) Mid-level-ontology.kif 22505-22505

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 22538-22538
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 22858-22858
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 22664-22664
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 22519-22519
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 22607-22607
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 22648-22648
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 22581-22581
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 22745-22745
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 22690-22690
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 22721-22721
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 22734-22734
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 22532-22532
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 21231-21231

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22698-22703
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22671-22676
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 22584-22589
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22655-22660
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22621-22628

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 1997-2015


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