Restaurant - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Restaurant

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 6943-6944
(externalImage Restaurant "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ BW/ BW_3/ restaurant.png")	pictureList.kif 692-692	externalImage Restaurant and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ signs_symbol/ BW/ BW_3/ restaurant.png"
(subclass Restaurant Business)	Mid-level-ontology.kif 6942-6942	subclass Restaurant and Business

appearance as argument number 2

(subclass Cafeteria Restaurant)	Mid-level-ontology.kif 7363-7363	subclass Cafeteria and Restaurant
(subclass Steakhouse Restaurant)	Dining.kif 83-83	subclass Steakhouse and Restaurant
(subclass Tavern Restaurant)	Mid-level-ontology.kif 7373-7373	subclass Tavern and Restaurant
(termFormat ChineseLanguage Restaurant "餐厅")	domainEnglishFormat.kif 49711-49711	termFormat ChineseLanguage, Restaurant and "餐厅"
(termFormat ChineseTraditionalLanguage Restaurant "餐廳")	domainEnglishFormat.kif 49710-49710	termFormat ChineseTraditionalLanguage, Restaurant and "餐廳"
(termFormat EnglishLanguage Restaurant "restaurant")	domainEnglishFormat.kif 49709-49709	termFormat EnglishLanguage, Restaurant and "restaurant"

antecedent

(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human))))))	Mid-level-ontology.kif 18260-18281	attribute CognitiveAgent and Waiter instance CognitiveAgent and Human employs CognitiveAgent and CognitiveAgent instance CognitiveAgent and Restaurant customer CognitiveAgent and CognitiveAgent located CognitiveAgent and Object instance Object and Table possesses CognitiveAgent and Object instance Object and KitchenArea instance Object and DiningArea located Object and Object hasPurpose CognitiveAgent and instance entity and Carrying agent entity and CognitiveAgent origin entity and Object destination entity and Object patient entity and entity instance entity and FoodForFn Human
(=> (and (instance ?REST Restaurant) (instance ?DR DiningRoom) (attribute ?DR PrivateAttribute) (possesses ?REST ?DR) (customer ?GRP1 ?REST) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople)) (modalAttribute (not (exists (?GRP2) (and (customer ?GRP2 ?REST) (not (equal ?GRP1 ?GRP2)) (instance ?E2 Eating) (agent ?E2 ?GRP2) (holdsDuring (WhenFn ?E1) (eventLocated ?E2 ?DR))))) Likely))	Dining.kif 1174-1193	instance CognitiveAgent and Restaurant instance Object and DiningRoom attribute Object and PrivateAttribute possesses CognitiveAgent and Object customer CognitiveAgent and CognitiveAgent instance Process and Eating agent Process and CognitiveAgent instance CognitiveAgent and GroupOfPeople modalAttribute entity customer entity and CognitiveAgent equal CognitiveAgent and entity instance entity and Eating agent entity and entity holdsDuring WhenFn Process and eventLocated entity and Object and Likely
(=> (instance ?C Restaurant) (exists (?S ?F ?B) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Selling) (instance ?B RestaurantBuilding) (eventLocated ?S ?B) (patient ?S ?F) (instance ?F (FoodForFn Human)))))	Mid-level-ontology.kif 6947-6957	instance Agent and Restaurant Process Entity and Entity instance Process and CommercialService agent Process and Agent instance Process and Selling instance Entity and RestaurantBuilding eventLocated Process and Entity patient Process and Entity instance Entity and FoodForFn Human
(=> (instance ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea))))	Mid-level-ontology.kif 6963-6968	instance Agent and Restaurant Object possesses Agent and Object instance Object and DiningArea

consequent

(=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR RestaurantRating)) (instance ?ENTITY Restaurant))	Hotel.kif 2977-2981	subjectiveAttribute Entity, Attribute and Agent instance Attribute and RestaurantRating instance Entity and Restaurant
(=> (instance ?R DiningReservation) (and (fulfillingEntity ?AGENT ?R) (instance ?AGENT Restaurant)))	Dining.kif 703-707	instance Reservation and DiningReservation fulfillingEntity Agent and Reservation instance Agent and Restaurant
(=> (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 24483-24491	instance Entity and DiningGuide Object Physical instance Object and GeographicArea refers Entity and Object instance Physical and Restaurant located Physical and Object refers Entity and Physical

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners