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
-------------------------


s__documentation(s__Table,s__EnglishLanguage,'"A piece of Furniture with four legs and a flat top. It is used either for eating, paperwork or meetings."')

Mid-level-ontology.kif 4014-4015
s__externalImage(s__Table,'"http://upload.wikimedia.org/wikipedia/commons/7/7a/ Table_and_chairs.jpg"')

pictureList.kif 185-185
s__subclass(s__Table,s__Furniture)

s__instance(s__Table,s__SetOrClass)

s__instance(s__Furniture,s__SetOrClass)

Mid-level-ontology.kif 4013-4013 Table is a subclass of furniture

appearance as argument number 2
-------------------------


s__subclass(s__Desk,s__Table)

s__instance(s__Desk,s__SetOrClass)

s__instance(s__Table,s__SetOrClass)

Mid-level-ontology.kif 4017-4017 Desk is a subclass of table
s__termFormat(s__ChineseLanguage,s__Table,'"表"')

domainEnglishFormat.kif 56674-56674
s__termFormat(s__ChineseTraditionalLanguage,s__Table,'"表"')

domainEnglishFormat.kif 56673-56673
s__termFormat(s__EnglishLanguage,s__Table,'"table"')

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 19150-19171


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