TreeView Knowledge Base Browser - Waiter

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Waiter

Waiter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20620-20621
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20619-20619	Waiter est une instance de ServicePosition

appearance as argument number 2

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

Mid-level-ontology.kif 20622-20622

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20628-20650	Waiter est un attribut de agent cognitif agent cognitif est une instance de humain AutonomousAgent emploie agent cognitif AutonomousAgent est une instance de Restaurant customer agent cognitif and AutonomousAgent agent cognitif est situ� � objet objet est une instance de Table objet entit�, entit� and objet AutonomousAgent poss�de objet objet est une instance de KitchenArea objet est une instance de DiningArea objet est situ� � objet agent cognitif a pour but entit� est une instance de Carrying entit� est un agent de agent cognitif entit� a pour origine objet entit� aboutit � objet entit� est un patient de entit� entit� est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20624-20626	Waiter est un attribut de objet objet est une instance de humain

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