Table - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Table

Table

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4142-4143
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 185-185
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4141-4141	Table est une sous-classe de Furniture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4145-4145	Desk est une sous-classe de Table
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56695-56695
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56694-56694
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56693-56693

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	CommunalAttribute est un attribut de objet objet est une instance de Table processus est une instance de manger processus est un agent de AutonomousAgent AutonomousAgent est une instance de GroupOfPeople eventLocated processus and objet l'argument entit� entit� and objet2 entit� est une instance de manger entit� est un agent de entit� AutonomousAgent est entit� entit� est une instance de GroupOfPeople eventLocated entit� and objet2 temps d'existence de processus rencontre temps d'existence de entit� objet est objet2 a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	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

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