DiningArea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DiningArea EnglishLanguage "a DiningArea refers to a Region, either Outdoors or Indoors, that is intended for Eating")	Mid-level-ontology.kif 16495-16496
(subclass DiningArea Region)	Mid-level-ontology.kif 16494-16494	Dining area is a subclass of region

appearance as argument number 2

(subclass DiningRoom DiningArea)	Mid-level-ontology.kif 16509-16509	Dining room is a subclass of dining area
(subclass OutdoorDiningArea DiningArea)	Dining.kif 153-153	Outdoor dining is a subclass of dining area
(termFormat EnglishLanguage DiningArea "dining area")	Mid-level-ontology.kif 16497-16497	Outdoor dining is a subclass of dining area

antecedent

(=>
    (instance ?D DiningArea)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E Eating)
                (eventLocated ?E ?D)))))

Mid-level-ontology.kif 16499-16505

If a physical is an instance of dining area,
then the physical has the purpose there exists an entity such that the entity is an instance of eating and the entity is located at the physical

consequent

(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (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 21690-21712	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other entity is a patient of the entity and the other entity is an instance of food for human
(=> (instance ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea))))	Mid-level-ontology.kif 8070-8075	If an agent is an instance of restaurant, then there exists an object such that the agent possesses the object and the object is an instance of dining area
(=> (instance ?RV RecreationalVehicle) (modalAttribute (exists (?BED ?DINING ?KITCHEN) (and (instance ?BED Bed) (instance ?DINING DiningArea) (instance ?KITCHEN KitchenArea) (located ?BED ?RV) (located ?DINING ?RV) (located ?KITCHEN ?RV))) Likely))	Mid-level-ontology.kif 26865-26875	If an entity is an instance of camper, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of bed and the third entity is an instance of dining area and the fourth entity is an instance of kitchen area and the other entity is located at the entity and the third entity is located at the entity and the fourth entity is located at the entity has the modal force of likely

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: