TreeView Knowledge Base Browser - KitchenArea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - KitchenArea

KitchenArea(kitchen area)

galley, kitchenette

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15010-15011
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15009-15009	Kitchen area is a subclass of region

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15023-15023	Kitchen is a subclass of kitchen area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15012-15012

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 15014-15020

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19943-19964	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and another cognitive agent employs the cognitive agent and the other cognitive agent is an instance of restaurant and the other cognitive agent is a customer of a third cognitive agent and the third cognitive agent is located at an object and the object is an instance of table, then the other cognitive agent possesses another object and the other object is an instance of kitchen area and a third object is an instance of dining area and the object is located at the third object and the cognitive agent has the purpose an entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the other object and the entity ends up at the object and another entity is a patient of the entity and the other entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25161-25171	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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