TreeView Knowledge Base Browser - Table

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Table

Table(table)

King_Arthur's_Round_Table, Lord's_table, Parsons_table, Round_Table, altar, bench, board, booth, breakfast_table, card_table, cocktail_table, coffee_table, communion_table, conference_table, console, console_table, council_board, council_table, counter, dining-room_table, dining_table, dinner_table, dresser, dressing_table, drop-leaf_table, gaming_table, gueridon, high_table, kitchen_table, operating_table, pedestal_table, pier_table, refectory_table, stand, table, tea_table, toilet_table, trestle_table, triclinium, vanity, work_bench, work_table, workbench, worktable

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4033-4034
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 4032-4032	Table is a subclass of furniture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4036-4036	Desk is a subclass of table
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56674-56674
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56673-56673
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56672-56672

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1160-1177	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 19919-19940	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

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