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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chair
Chair
more pictures...

appearance as argument number 1
-------------------------


(documentation Chair EnglishLanguage "A Seat that is designed to accommodate a single Human.") Mid-level-ontology.kif 3682-3683
(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
(externalImage Chair "http://www.adampease.org/Articulate/SUMOpictures/pictures/ office/ supplies/ Chair_02.png") pictureList.kif 335-335
(subclass Chair Seat) Mid-level-ontology.kif 3681-3681

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


(subclass BoosterChair Chair) Dining.kif 788-788
(termFormat ChineseLanguage Chair "椅子") domainEnglishFormat.kif 14025-14025
(termFormat ChineseTraditionalLanguage Chair "椅子") domainEnglishFormat.kif 14024-14024
(termFormat EnglishLanguage Chair "chair") domainEnglishFormat.kif 14023-14023

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


(=>
    (instance ?CHAIR Chair)
    (not
        (exists (?PERSON1 ?PERSON2)
            (and
                (instance ?PERSON1 Human)
                (instance ?PERSON2 Human)
                (attribute ?PERSON1 Sitting)
                (attribute ?PERSON2 Sitting)
                (located ?PERSON1 ?CHAIR)
                (located ?PERSON2 ?CHAIR)
                (not
                    (equal ?PERSON1 ?PERSON2))))))
Mid-level-ontology.kif 3685-3695


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