Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Table

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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19919-19940


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