BoosterChair - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BoosterChair EnglishLanguage "BoosterChair is a Chair that is made for children")	Dining.kif 836-837
(subclass BoosterChair Chair)	Dining.kif 835-835	Booster chair is a subclass of chair

appearance as argument number 2

(termFormat EnglishLanguage BoosterChair "booster chair")

Dining.kif 838-838

antecedent

(=>
    (and
        (instance ?BC BoosterChair)
        (instance ?H HumanChild))
    (hasPurposeForAgent ?BC
        (and
            (attribute ?H Sitting)
            (eventLocated ?H ?BC)) ?H))

Dining.kif 840-847