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 22386-22388
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 22385-22385
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 22384-22384
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 22383-22383

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 22390-22390
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 22392-22392
(subclass Residence PostalPlace) Mid-level-ontology.kif 22391-22391

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 22424-22424
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 22744-22744
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 22550-22550
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 22405-22405
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 22493-22493
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 22534-22534
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 22467-22467
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 22631-22631
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 22576-22576
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 22607-22607
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 22620-22620
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 22418-22418
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 21123-21123

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22584-22589
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22557-22562
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 22470-22475
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22541-22546
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22507-22514

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners