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


s__documentation(s__PostalPlace,s__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 22716-22718
s__instance(s__ContactSite,s__SetOrClass)

s__subclass(s__PostalPlace,s__ContactSite)

s__instance(s__PostalPlace,s__SetOrClass)

Mid-level-ontology.kif 22715-22715 PostalPlace is a subclass of ContactSite
s__instance(s__LocalizablePlace,s__SetOrClass)

s__subclass(s__PostalPlace,s__LocalizablePlace)

s__instance(s__PostalPlace,s__SetOrClass)

Mid-level-ontology.kif 22714-22714 PostalPlace is a subclass of LocalizablePlace
s__subclass(s__PostalPlace,s__StationaryArtifact)

s__instance(s__StationaryArtifact,s__SetOrClass)

s__instance(s__PostalPlace,s__SetOrClass)

Mid-level-ontology.kif 22713-22713 PostalPlace is a subclass of stationary artifact

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


s__subclass(s__MilitaryInstallation,s__PostalPlace)

s__instance(s__MilitaryInstallation,s__SetOrClass)

s__instance(s__PostalPlace,s__SetOrClass)

Mid-level-ontology.kif 22720-22720 Military installation is a subclass of PostalPlace
s__instance(s__PlaceOfCommerce,s__SetOrClass)

s__subclass(s__PlaceOfCommerce,s__PostalPlace)

s__instance(s__PostalPlace,s__SetOrClass)

Mid-level-ontology.kif 22722-22722 Place of commerce is a subclass of PostalPlace
s__subclass(s__Residence,s__PostalPlace)

s__instance(s__Residence,s__SetOrClass)

s__instance(s__PostalPlace,s__SetOrClass)

Mid-level-ontology.kif 22721-22721 Residence is a subclass of PostalPlace

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


s__domain(s__floorCode__m,n__2,s__PostalPlace)

Mid-level-ontology.kif 22754-22754 The number 2 argument of floorCode is an instance of PostalPlace
s__domain(s__postAddressText__m,n__2,s__PostalPlace)

Mid-level-ontology.kif 22976-22976 The number 2 argument of postAddressText is an instance of PostalPlace
s__domain(s__postCity__m,n__1,s__PostalPlace)

Mid-level-ontology.kif 22880-22880 The number 1 argument of postCity is an instance of PostalPlace
s__domain(s__postContactSite__m,n__1,s__PostalPlace)

Mid-level-ontology.kif 22735-22735 The number 1 argument of postContactSite is an instance of PostalPlace
s__domain(s__postCountry__m,n__1,s__PostalPlace)

Mid-level-ontology.kif 22823-22823 The number 1 argument of postCountry is an instance of PostalPlace
s__domain(s__postDistrict__m,n__1,s__PostalPlace)

Mid-level-ontology.kif 22864-22864 The number 1 argument of postDistrict is an instance of PostalPlace
s__domain(s__postNeighborhood__m,n__1,s__PostalPlace)

Mid-level-ontology.kif 22797-22797 The number 1 argument of postNeighborhood is an instance of PostalPlace
s__domain(s__postPostOfficeBox__m,n__2,s__PostalPlace)

Mid-level-ontology.kif 22961-22961 The number 2 argument of postPostOfficeBox is an instance of PostalPlace
s__domain(s__postPostcodeArea__m,n__1,s__PostalPlace)

Mid-level-ontology.kif 22906-22906 The number 1 argument of postPostcodeArea is an instance of PostalPlace
s__domain(s__postStreet__m,n__1,s__PostalPlace)

Mid-level-ontology.kif 22937-22937 The number 1 argument of postStreet is an instance of PostalPlace
s__domain(s__postStreetNumber__m,n__2,s__PostalPlace)

Mid-level-ontology.kif 22950-22950 The number 2 argument of postStreetNumber is an instance of PostalPlace
s__domain(s__unitNumber__m,n__2,s__PostalPlace)

Mid-level-ontology.kif 22748-22748 The number 2 argument of unit number is an instance of PostalPlace
s__domain(s__workAddress__m,n__1,s__PostalPlace)

Mid-level-ontology.kif 21418-21418 The number 1 argument of work address is an instance of PostalPlace

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


( ! [V__PLACE,V__AREA] :
   ((((s__located(V__PLACE,V__AREA)
         &
         s__instance(V__PLACE,s__PostalPlace) &
         s__instance(V__AREA,s__PostcodeArea))
       =>
       s__postPostcodeArea(V__PLACE,V__AREA))
   &
   (s__postPostcodeArea(V__PLACE,V__AREA)
   =>
   (s__located(V__PLACE,V__AREA)
   &
   s__instance(V__PLACE,s__PostalPlace) &
   s__instance(V__AREA,s__PostcodeArea))))
)
)

Mid-level-ontology.kif 22914-22919 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
( ! [V__PLACE,V__GEO] :
   ((((s__located(V__PLACE,V__GEO)
         &
         s__instance(V__PLACE,s__PostalPlace) &
         s__instance(V__GEO,s__City))
       =>
       s__postCity(V__PLACE,V__GEO))
   &
   (s__postCity(V__PLACE,V__GEO)
   =>
   (s__located(V__PLACE,V__GEO)
   &
   s__instance(V__PLACE,s__PostalPlace) &
   s__instance(V__GEO,s__City))))
)
)

Mid-level-ontology.kif 22887-22892 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
( ! [V__PLACE,V__GEO] :
   ((((s__located(V__PLACE,V__GEO)
         &
         s__instance(V__PLACE,s__PostalPlace) &
         s__instance(V__GEO,s__Neighborhood))
       =>
       s__postNeighborhood(V__PLACE,V__GEO))
   &
   (s__postNeighborhood(V__PLACE,V__GEO)
   =>
   (s__located(V__PLACE,V__GEO)
   &
   s__instance(V__PLACE,s__PostalPlace) &
   s__instance(V__GEO,s__Neighborhood))))
)
)

Mid-level-ontology.kif 22800-22805 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
( ! [V__PLACE,V__GEO] :
   ((((s__located(V__PLACE,V__GEO)
         &
         s__instance(V__PLACE,s__PostalPlace) &
         s__instance(V__GEO,s__StateOrProvince))
       =>
       s__postDistrict(V__PLACE,V__GEO))
   &
   (s__postDistrict(V__PLACE,V__GEO)
   =>
   (s__located(V__PLACE,V__GEO)
   &
   s__instance(V__PLACE,s__PostalPlace) &
   s__instance(V__GEO,s__StateOrProvince))))
)
)

Mid-level-ontology.kif 22871-22876 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
( ! [V__PLACE,V__GEO] :
   ((((s__located(V__PLACE,V__GEO)
         &
         s__instance(V__PLACE,s__PostalPlace) &
         (s__instance(V__GEO,s__Nation) |
           s__instance(V__GEO,s__DependencyOrSpecialSovereigntyArea)))
       =>
       s__postCountry(V__PLACE,V__GEO))
   &
   (s__postCountry(V__PLACE,V__GEO)
   =>
   (s__located(V__PLACE,V__GEO)
   &
   s__instance(V__PLACE,s__PostalPlace) &
   (s__instance(V__GEO,s__Nation) |
     s__instance(V__GEO,s__DependencyOrSpecialSovereigntyArea)))))
)
)

Mid-level-ontology.kif 22837-22844 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
-------------------------


( ! [V__SVC] :
   ((s__instance(V__SVC,s__ShuttleService) =>
       (( ? [V__LIST, V__VEHICLE, V__AGENT] :
           ((s__instance(V__AGENT,s__Agent) &
               (s__agent(V__SVC,V__AGENT)
               &
               s__possesses(V__AGENT,V__VEHICLE)
             &
             s__instance(V__VEHICLE,s__Automobile) &
             s__instance(V__LIST,s__List) &
             ( ! [V__X] :
               ((s__inList(V__X,V__LIST)
                 =>
                 ((s__instance(V__X,s__PostalPlace) &
                     ( ? [V__TRANSPORT] :
                       ((s__instance(V__TRANSPORT,s__Transportation) &
                           s__agent(V__TRANSPORT,V__AGENT)
                         &
                         s__instrument(V__TRANSPORT,V__VEHICLE)
                       &
                       s__destination(V__TRANSPORT,V__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