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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Restaurant
Restaurant(restaurant)
bistro, brasserie, canteen, cybercafe, espresso_shop, greasy_spoon, grill, grillroom, hash_house, lunchroom, mobile_canteen, pizza_parlor, pizza_shop, pizzeria, rathskeller, tea_parlor, tea_parlour, teahouse, tearoom, teashop

appearance as argument number 1
-------------------------


s__documentation(s__Restaurant,s__EnglishLanguage,'"Any Business whose services include selling Food to customers which is intended to be eaten on the premises."')

Mid-level-ontology.kif 6625-6626
s__externalImage(s__Restaurant,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ BW/ BW_3/ restaurant.png"')

pictureList.kif 692-692
s__instance(s__Restaurant,s__SetOrClass)

s__subclass(s__Restaurant,s__Business)

s__instance(s__Business,s__SetOrClass)

Mid-level-ontology.kif 6624-6624 Restaurant is a subclass of Business

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


s__subclass(s__Cafeteria,s__Restaurant)

s__instance(s__Restaurant,s__SetOrClass)

s__instance(s__Cafeteria,s__SetOrClass)

Mid-level-ontology.kif 7031-7031 Cafeteria is a subclass of restaurant
s__instance(s__Restaurant,s__SetOrClass)

s__subclass(s__Steakhouse,s__Restaurant)

s__instance(s__Steakhouse,s__SetOrClass)

Dining.kif 83-83 Steakhouse is a subclass of restaurant
s__instance(s__Restaurant,s__SetOrClass)

s__instance(s__Tavern,s__SetOrClass)

s__subclass(s__Tavern,s__Restaurant)

Mid-level-ontology.kif 7041-7041 Tavern is a subclass of restaurant
s__termFormat(s__ChineseLanguage,s__Restaurant,'"餐厅"')

domainEnglishFormat.kif 49754-49754
s__termFormat(s__ChineseTraditionalLanguage,s__Restaurant,'"餐廳"')

domainEnglishFormat.kif 49753-49753
s__termFormat(s__EnglishLanguage,s__Restaurant,'"restaurant"')

domainEnglishFormat.kif 49752-49752

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18705-18726
No TPTP formula. May not be expressible in strict first order. Dining.kif 1180-1199
( ! [V__C] :
   ((s__instance(V__C,s__Restaurant) =>
       (( ? [V__S, V__F, V__B] :
           ((s__instance(V__S,s__CommercialService) &
               s__agent(V__S,V__C)
             &
             s__instance(V__S,s__Selling) &
             s__instance(V__B,s__RestaurantBuilding) &
             s__eventLocated(V__S,V__B)
           &
           s__patient(V__S,V__F)
         &
         s__instance(V__F,s__FoodForFn(s__Human)))))))
)
)

Mid-level-ontology.kif 6629-6639
( ! [V__R] :
   ((s__instance(V__R,s__Restaurant) =>
       (( ? [V__D] :
           ((s__possesses(V__R,V__D)
             &
             s__instance(V__D,s__DiningArea))))))
   )
)

Mid-level-ontology.kif 6645-6650

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


( ! [V__AGENT,V__ATTR,V__ENTITY] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT)
           &
           s__instance(V__ATTR,s__RestaurantRating))
         =>
         (s__instance(V__ENTITY,s__Restaurant)))))
   )
)

Hotel.kif 2991-2995
( ! [V__AGENT,V__R] :
   ((s__instance(V__AGENT,s__Agent) =>
       ((s__instance(V__R,s__DiningReservation) =>
           ((s__fulfillingEntity(V__AGENT,V__R)
             &
             s__instance(V__AGENT,s__Restaurant))))))
   )
)

Dining.kif 703-707
( ! [V__X] :
   ((s__instance(V__X,s__DiningGuide) =>
       (( ? [V__LOC, V__REST] :
           ((s__instance(V__LOC,s__GeographicArea) &
               s__refers(V__X,V__LOC)
             &
             s__instance(V__REST,s__Restaurant) &
             s__located(V__REST,V__LOC)
           &
           s__refers(V__X,V__REST))))))
)
)

Mid-level-ontology.kif 24552-24560


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