Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Chair Seat) Mid-level-ontology.kif 4375-4375 Chair is a subclass of seat
(documentation Chair EnglishLanguage "A Seat that is designed to accommodate a single Human.") Mid-level-ontology.kif 4376-4377 Chair is a subclass of seat
(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 Chair is a subclass of seat
(externalImage Chair "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a2/ Rattan_chair.jpg/ 620px_Rattan_chair.jpg") pictureList-ImageNet.kif 415-415 Chair is a subclass of seat
(externalImage Chair "http://upload.wikimedia.org/wikipedia/commons/3/33/ Rietveld_chair_4.JPG") pictureList-ImageNet.kif 416-416 Chair is a subclass of seat
(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 Chair is a subclass of seat
(externalImage Chair "http://upload.wikimedia.org/wikipedia/commons/7/76/ Chair.png") pictureList.kif 62-62 Chair is a subclass of seat
(externalImage Chair "http://articulatesoftware.com/SUMOpictures/office/ supplies/ Chair_02.png") pictureList.kif 335-335 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 EnglishLanguage Chair "chair") domainEnglishFormat.kif 14022-14022 Booster chair is a subclass of chair
(termFormat ChineseTraditionalLanguage Chair "椅子") domainEnglishFormat.kif 14023-14023 Booster chair is a subclass of chair
(termFormat ChineseLanguage Chair "椅子") domainEnglishFormat.kif 14024-14024 Booster chair is a subclass of chair

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


(=>
    (instance ?CHAIR Chair)
    (hasPurpose ?CHAIR
        (not
            (exists (?PERSON1 ?PERSON2 ?T)
                (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 4379-4394 If X is an instance of chair, then All of the following hold: (1) X has the purpose there don't exist Y, Z (2) W such that Y is an instance of human (3) Z is an instance of human (4) sitting is an attribute of Y (5) sitting is an attribute of Z (6) Y is located at X (7) Z is located at X holds during W (8) equal Y (9) Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners