Eating - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Eating

Eating(eating)

Dutch_treat, anthropophagous, anthropophagy, banquet, banqueting, binge, bite, board, bolt, bolt_down, break_bread, breakfast, browse, browsing, brunch, cannibalise, cannibalism, cannibalistic, cannibalize, chomp, consume, coprophagia, coprophagy, corn-fed, crop, degust, devour, dig_in, digest, dine, dine_in, dine_out, dining, dip, down, drift, dunk, eat, eat_in, eat_out, eat_up, eating, englut, engorge, engorgement, fare, feast, feasting, feed, feeding...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2909-2909
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9707-9708
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2807-2807
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2669-2669
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2806-2806
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9705-9705	Eating is a subclass of ingesting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 312-312	Aqiqah is a subclass of eating
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 80-80	Iftar is a subclass of eating
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2729-2729	Overgrazing is a subclass of eating
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 35-35	Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1080-1080
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1376-1376

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1154-1171	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist an entity and another entity such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at 2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28839-28860	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17837-17843	If an agent is an instance of herbivore and the agent is an agent of a process and the process is an instance of eating and an entity is a patient of the process, then the entity is an instance of plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9710-9714	If a process is an instance of eating and an object is a resource for the process, then solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 540-556	If a process is an instance of catering and a cognitive agent is an agent of the process and the process ends up at the processUST and the cognitive agent is located at an object and the cognitive agent is a customer of the processUST and there exist another process, an entity and a third process such that the other process is an instance of cooking and the cognitive agent is an agent of the other process and the entity is a result of the other process and the entity is a patient of the process and the third process is an instance of eating and the processUST is an agent of the third process and the third process is located at 2, then the object is not equal to another entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13594-13600	If an agent is an instance of carnivore and a process is an instance of eating and the agent is an agent of the process and an entity is a patient of the process, then the entity is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1174-1193	If a cognitive agent is an instance of restaurant and an object is an instance of dining room and PrivateAttribute is an attribute of the object and the cognitive agent possesses the object and the cognitive agent is a customer of another cognitive agent and a process is an instance of eating and the other cognitive agent is an agent of the process and the other cognitive agent is an instance of group of people, then the statement there doesn't exist an entity such that the cognitive agent is a customer of the entity and the other cognitive agent is not equal to the entity and another entity is an instance of eating and the entity is an agent of the other entity and the other entity is located at 2 holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 270-287	If a collection is an instance of buffet and an object is a member of the collection and the collection is located at another object and a process is an instance of eating and an agent is an agent of the process and the process is located at 2 and the object is a patient of the process, then the other object is not equal to an entity and there exists another process such that the other process is an instance of getting and the object is a patient of the other process and the other process originates at the other object and the agent is an agent of the other process and the time of existence of the other process happens before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 118-127	If an object is an instance of meal and breakfast is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement the time of existence of the process takes place during an entity and the entity is an instance of breakfast time has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 162-171	If an object is an instance of meal and dinner is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement the time of existence of the process takes place during an entity and the entity is an instance of dinner time has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 146-155	If an object is an instance of meal and lunch is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement the time of existence of the process takes place during an entity and the entity is an instance of lunch time has the modal force of likely

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1154-1171	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist an entity and another entity such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at 2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19212-19219	If a proposition is an instance of diet and a process expresses the content of the proposition, then there exists another process such that the other process is a subprocess of the process and the other process is an instance of eating
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1174-1193	If a cognitive agent is an instance of restaurant and an object is an instance of dining room and PrivateAttribute is an attribute of the object and the cognitive agent possesses the object and the cognitive agent is a customer of another cognitive agent and a process is an instance of eating and the other cognitive agent is an agent of the process and the other cognitive agent is an instance of group of people, then the statement there doesn't exist an entity such that the cognitive agent is a customer of the entity and the other cognitive agent is not equal to the entity and another entity is an instance of eating and the entity is an agent of the other entity and the other entity is located at 2 holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1507-1527	If a cognitive agent offers items for sale in a meal plan and the meal plan is an instance of meal plan and meals of type a relational attribute are includes in the meal plan and traveler accommodation is an attribute of the cognitive agent and another cognitive agent is a guest at the cognitive agent and the other cognitive agent buys the meal plan from the cognitive agent, then there exists an entity such that there exists another entity such that the relational attribute is an attribute of the other entity and the other entity purpose there exists a third entity such that the third entity is an instance of eating and the other cognitive agent is an agent of the third entity and the other entity is a patient of the third entity holds during the entity holds during the time of existence of the other cognitive agent is a guest at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17607-17613	If hungry is an attribute of a cognitive agent, then the cognitive agent desires there exists an entity such that the entity is an instance of eating and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28826-28833	If fasting is an attribute of an agent holds during a time interval, then there doesn't exist a process such that the process is an instance of eating and the agent is an agent of the process and the time of existence of the process overlaps the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9786-9791	If a process is an instance of chewing, then there exists another process such that the other process is an instance of eating and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13279-13285	If a physical is an instance of dining area, then the physical purpose there exists an entity such that the entity is an instance of eating and the entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4907-4916	If a physical is an instance of dish, then the physical purpose there exist an entity and another entity such that the other entity is an instance of eating and the entity is a patient of the other entity and the physical is a patient of the other entity and the entity is an instance of food for animal and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17823-17831	If a physical is an instance of fodder, then the physical purpose there exist an entity and another entity such that the entity is an instance of domestic animal and the other entity is an instance of eating and the entity is an agent of the other entity and the physical is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 100-106	If a physical is an instance of meal, then the physical purpose there exists an entity such that the entity is an instance of eating and the physical is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20472-20486	If a physical is an instance of restaurant building, then the physical purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the fourth entityAY such that the entity employs the other entity and the entity possesses the physical and the fourth entity is an instance of human and the fourth entityAY is an instance of financial transaction and the fourth entity is an agent of the fourth entityAY and the other entity is a patient of the fourth entityAY and the third entity allows the fourth entity to perform task of the type the other entity and the third entity is an instance of eating and the fourth entity is an agent of the third entity and the third entity is located at 2

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