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 23610-23612
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 23609-23609
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 23608-23608
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 23607-23607

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 23614-23614
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 23616-23616
(subclass Residence PostalPlace) Mid-level-ontology.kif 23615-23615

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 23648-23648
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 23870-23870
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 23774-23774
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 23629-23629
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 23717-23717
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 23758-23758
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 23691-23691
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 23855-23855
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 23800-23800
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 23831-23831
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 23844-23844
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 23642-23642
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 22313-22313

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 23808-23813
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 23781-23786
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 23694-23699
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 23765-23770
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 23731-23738

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 2010-2028


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