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 6937-6938
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 6936-6936 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 7343-7343 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 7353-7353 Tavern is a subclass of restaurant
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49755-49755
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49754-49754
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49753-49753

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19919-19940
No TPTP formula. May not be expressible in strict first order. Dining.kif 1180-1199
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6941-6951
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6957-6962

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 3004-3008
No TPTP formula. May not be expressible in strict first order. Dining.kif 703-707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25790-25798


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