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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6923-6924
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 6922-6922 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 7345-7345 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 7355-7355 Tavern is a subclass of restaurant
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49766-49766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49765-49765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49764-49764

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18291-18312
No TPTP formula. May not be expressible in strict first order. Dining.kif 1174-1193
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6927-6937
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6943-6948

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2978-2982
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 24526-24534


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