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 8438-8439 | |
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 8437-8437 | 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 8836-8836 | 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 8846-8846 | Tavern is a subclass of restaurant |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49776-49776 | Tavern is a subclass of restaurant |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49775-49775 | Tavern is a subclass of restaurant |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49774-49774 | Tavern is a subclass of restaurant |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3051-3055 |
|
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 28326-28334 |
|
![]() |
![]() |