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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Chair

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


(documentation Chair EnglishLanguage "A Seat that is designed to accommodate a single Human.") Mid-level-ontology.kif 3730-3731
(externalImage Chair "http://articulatesoftware.com/SUMOpictures/office/ supplies/ Chair_02.png") pictureList.kif 335-335
(externalImage Chair "http://upload.wikimedia.org/wikipedia/commons/3/33/ Rietveld_chair_4.JPG") pictureList-ImageNet.kif 416-416
(externalImage Chair "http://upload.wikimedia.org/wikipedia/commons/7/76/ Chair.png") pictureList.kif 62-62
(externalImage Chair "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6e/ Bubble_Chair_Eero_Aarnio.jpg/ 800px-Bubble_Chair_Eero_Aarnio.jpg") pictureList-ImageNet.kif 417-417
(externalImage Chair "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a2/ Rattan_chair.jpg/ 620px-Rattan_chair.jpg") pictureList-ImageNet.kif 415-415
(externalImage Chair "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ ff/ Ernest_Archibald_Taylor_-_chair_around_1905.jpg/ 344px-Ernest_Archibald_Taylor_-_chair_around_1905.jpg") pictureList-ImageNet.kif 414-414
(subclass Chair Seat) Mid-level-ontology.kif 3729-3729 Chair is a subclass of seat

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


(subclass BoosterChair Chair) Dining.kif 835-835 Booster chair is a subclass of chair
(termFormat ChineseLanguage Chair "椅子") domainEnglishFormat.kif 14022-14022
(termFormat ChineseTraditionalLanguage Chair "椅子") domainEnglishFormat.kif 14021-14021
(termFormat EnglishLanguage Chair "chair") domainEnglishFormat.kif 14020-14020

antecedent
-------------------------


(=>
    (instance ?CHAIR Chair)
    (hasPurpose ?CHAIR
        (not
            (exists (?PERSON1 ?PERSON2)
                (and
                    (instance ?PERSON1 Human)
                    (instance ?PERSON2 Human)
                    (holdsDuring ?T
                        (and
                            (attribute ?PERSON1 Sitting)
                            (attribute ?PERSON2 Sitting)
                            (located ?PERSON1 ?CHAIR)
                            (located ?PERSON2 ?CHAIR)))
                    (not
                        (equal ?PERSON1 ?PERSON2)))))))
Mid-level-ontology.kif 3733-3748


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