TreeView Knowledge Base Browser - Chair

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Chair

Chair(chair)

more pictures...

Eames_chair, Siege_Perilous, armchair, barber_chair, campstool, captain's_chair, chair, chaise, chaise_longue, cutty_stool, daybed, feeding_chair, fighting_chair, folding_chair, footrest, footstool, garden_chair, highchair, ladder-back, ladder-back_chair, lawn_chair, milking_stool, music_stool, ottoman, piano_stool, plane_seat, platform_rocker, rocker, rocking_chair, shoofly, side_chair, step_stool, stool, straight_chair, swivel_chair, tablet-armed_chair, taboret, tabouret, throne, tuffet, wing_chair

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3730-3731
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 335-335
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 416-416
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 62-62
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 417-417
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 415-415
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 414-414
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3729-3729	Chair is a subclass of seat

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 835-835	Booster chair is a subclass of chair
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14022-14022
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14021-14021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14020-14020

antecedent

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

Mid-level-ontology.kif 3733-3748

If a physical is an instance of chair,
then the physical has the purpose there don't exist an entity and another entity such that the entity is an instance of human and the other entity is an instance of human and sitting is an attribute of the entity and sitting is an attribute of the other entity and the entity is located at the physical and the other entity is located at the physical holds during a third entity and the entity is not equal to the other entity

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