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