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
(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 7364-7364	subclass Cafeteria and Restaurant
(subclass Steakhouse Restaurant)	Dining.kif 83-83	subclass Steakhouse and Restaurant
(subclass Tavern Restaurant)	Mid-level-ontology.kif 7374-7374	subclass Tavern and Restaurant
(termFormat ChineseLanguage Restaurant "餐厅")	domainEnglishFormat.kif 49670-49670
(termFormat ChineseTraditionalLanguage Restaurant "餐廳")	domainEnglishFormat.kif 49669-49669
(termFormat EnglishLanguage Restaurant "restaurant")	domainEnglishFormat.kif 49668-49668

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 18261-18282	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 24495-24503	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