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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Restaurant

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7277-7278
No TPTP formula. May not be expressible in strict first order. pictureList.kif 692-692
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7276-7276 Restaurant is a subclass of business

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7669-7669 Cafeteria is a subclass of restaurant
No TPTP formula. May not be expressible in strict first order. Dining.kif 83-83 Steakhouse is a subclass of restaurant
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7679-7679 Tavern is a subclass of restaurant
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49772-49772
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49771-49771
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49770-49770

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20601-20623
No TPTP formula. May not be expressible in strict first order. Dining.kif 1227-1246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7281-7291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7297-7302

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 3040-3044
No TPTP formula. May not be expressible in strict first order. Dining.kif 749-754
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26427-26435


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