TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage BoosterChair "booster chair")

antecedent

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

If X is an instance of booster chair and Y is an instance of human child, then X has the purpose Y for sitting is an attribute of Y and Y is located at X