Waiter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Waiter

Waiter(waiter)

dining-room_attendant, restaurant_attendant, server, waiter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20592-20593
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20591-20591	Waiter is an instance of service position

appearance as argument number 2

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

Mid-level-ontology.kif 20594-20594

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20596-20598	If waiter is an attribute of an object, then the object is an instance of human

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