Restaurant![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Restaurant EnglishLanguage "Any Business whose services include selling Food to customers which is intended to be eaten on the premises.") | Mid-level-ontology.kif 8438-8439 | |
(externalImage Restaurant "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_3/ restaurant.png") | pictureList.kif 692-692 | |
(subclass Restaurant Business) | Mid-level-ontology.kif 8437-8437 | Restaurant は Business の subclass では |
appearance as argument number 2 |
![]() |
(subclass Cafeteria Restaurant) | Mid-level-ontology.kif 8836-8836 | Cafeteria は Restaurant の subclass では |
(subclass Steakhouse Restaurant) | Dining.kif 83-83 | Steakhouse は Restaurant の subclass では |
(subclass Tavern Restaurant) | Mid-level-ontology.kif 8846-8846 | Tavern は Restaurant の subclass では |
(termFormat ChineseLanguage Restaurant "餐厅") | domainEnglishFormat.kif 49776-49776 | Tavern は Restaurant の subclass では |
(termFormat ChineseTraditionalLanguage Restaurant "餐廳") | domainEnglishFormat.kif 49775-49775 | Tavern は Restaurant の subclass では |
(termFormat EnglishLanguage Restaurant "restaurant") | domainEnglishFormat.kif 49774-49774 | Tavern は Restaurant の subclass では |
antecedent |
![]() |
consequent |
![]() |
(=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR RestaurantRating)) (instance ?ENTITY Restaurant)) |
Hotel.kif 3051-3055 |
|
(=> (instance ?R DiningReservation) (exists (?AGENT) (and (fulfillingEntity ?AGENT ?R) (instance ?AGENT Restaurant)))) |
Dining.kif 749-754 | |
(=> (instance ?X DiningGuide) (exists (?LOC ?REST) (and (instance ?LOC GeographicArea) (refers ?X ?LOC) (instance ?REST Restaurant) (located ?REST ?LOC) (refers ?X ?REST)))) |
Mid-level-ontology.kif 28326-28334 |
![]() |
![]() |