Chair - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Chair EnglishLanguage "A Seat that is designed to accommodate a single Human.")	Mid-level-ontology.kif 3723-3724
(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 3722-3722	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 14038-14038	Booster chair is a subclass of chair
(termFormat ChineseTraditionalLanguage Chair "椅子")	domainEnglishFormat.kif 14037-14037	Booster chair is a subclass of chair
(termFormat EnglishLanguage Chair "chair")	domainEnglishFormat.kif 14036-14036	Booster chair is a subclass of chair

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

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

KB Term:			Term intersection

English Word: