Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PostalPlace
PostalPlaceaddress

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 22355-22357
(subclass PostalPlace ContactSite) Mid-level-ontology.kif 22354-22354 PostalPlace is a subclass of ContactSite
(subclass PostalPlace LocalizablePlace) Mid-level-ontology.kif 22353-22353 PostalPlace is a subclass of LocalizablePlace
(subclass PostalPlace StationaryArtifact) Mid-level-ontology.kif 22352-22352 PostalPlace is a subclass of stationary artifact

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


(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 22359-22359 Military installation is a subclass of PostalPlace
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 22361-22361 Place of commerce is a subclass of PostalPlace
(subclass Residence PostalPlace) Mid-level-ontology.kif 22360-22360 Residence is a subclass of PostalPlace

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


(domain floorCode 2 PostalPlace) Mid-level-ontology.kif 22393-22393 The number 2 argument of floorCode is an instance of PostalPlace
(domain postAddressText 2 PostalPlace) Mid-level-ontology.kif 22713-22713 The number 2 argument of postAddressText is an instance of PostalPlace
(domain postCity 1 PostalPlace) Mid-level-ontology.kif 22519-22519 The number 1 argument of postCity is an instance of PostalPlace
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 22374-22374 The number 1 argument of postContactSite is an instance of PostalPlace
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 22462-22462 The number 1 argument of postCountry is an instance of PostalPlace
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 22503-22503 The number 1 argument of postDistrict is an instance of PostalPlace
(domain postNeighborhood 1 PostalPlace) Mid-level-ontology.kif 22436-22436 The number 1 argument of postNeighborhood is an instance of PostalPlace
(domain postPostOfficeBox 2 PostalPlace) Mid-level-ontology.kif 22600-22600 The number 2 argument of postPostOfficeBox is an instance of PostalPlace
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 22545-22545 The number 1 argument of postPostcodeArea is an instance of PostalPlace
(domain postStreet 1 PostalPlace) Mid-level-ontology.kif 22576-22576 The number 1 argument of postStreet is an instance of PostalPlace
(domain postStreetNumber 2 PostalPlace) Mid-level-ontology.kif 22589-22589 The number 2 argument of postStreetNumber is an instance of PostalPlace
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 22387-22387 The number 2 argument of unit number is an instance of PostalPlace
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 21092-21092 The number 1 argument of work address is an instance of PostalPlace

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22553-22558 A PostalPlace is located at a PostcodeArea and the PostalPlace is an instance of PostalPlace and the PostcodeArea is an instance of PostcodeArea if and only if the PostalPlace is in post code the PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22526-22531 A PostalPlace is located at a city and the PostalPlace is an instance of PostalPlace and the city is an instance of city if and only if the PostalPlace is in the city
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 22439-22444 A PostalPlace is located at a neighborhood and the PostalPlace is an instance of PostalPlace and the neighborhood is an instance of neighborhood if and only if the PostalPlace is in the neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22510-22515 A PostalPlace is located at a state or province and the PostalPlace is an instance of PostalPlace and the state or province is an instance of state or province if and only if the PostalPlace is in the state or province
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22476-22483 A PostalPlace is located at a geopolitical area and the PostalPlace is an instance of PostalPlace and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the PostalPlace is in the geopolitical area

consequent
-------------------------


(=>
    (instance ?BUS Business)
    (exists (?PP)
        (and
            (instance ?PP PostalPlace)
            (located ?BUS ?PP))))
Society.kif 247-252
(=>
    (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