reagent
|
|
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 7276-7277 | |
(externalImage Restaurant "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_3/ restaurant.png") | pictureList.kif 692-692 | |
(subclass Restaurant Business) | Mid-level-ontology.kif 7275-7275 | Restaurant est une sous-classe de Business |
appearance as argument number 2 |
(subclass Cafeteria Restaurant) | Mid-level-ontology.kif 7668-7668 | Cafeteria est une sous-classe de Restaurant |
(subclass Steakhouse Restaurant) | Dining.kif 83-83 | Steakhouse est une sous-classe de Restaurant |
(subclass Tavern Restaurant) | Mid-level-ontology.kif 7678-7678 | Tavern est une sous-classe de Restaurant |
(termFormat ChineseLanguage Restaurant "餐厅") | domainEnglishFormat.kif 49772-49772 | |
(termFormat ChineseTraditionalLanguage Restaurant "餐廳") | domainEnglishFormat.kif 49771-49771 | |
(termFormat EnglishLanguage Restaurant "restaurant") | domainEnglishFormat.kif 49770-49770 |
antecedent |
consequent |
(=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR RestaurantRating)) (instance ?ENTITY Restaurant)) |
Hotel.kif 3040-3044 |
|
(=> (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 26415-26423 |