| IroningBoard | |
| appearance as argument number 1 |
|
|
| (documentation IroningBoard EnglishLanguage "IroningBoard is a type of Device consisting of a flat, padded board used as a surface for ironing") | Mid-level-ontology.kif 25255-25256 | |
| (subclass IroningBoard Device) | Mid-level-ontology.kif 25254-25254 | 子類 IroningBoard and Device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IroningBoard "ironing board") | Mid-level-ontology.kif 25257-25257 |
| antecedent |
|
|
| (=> (instance ?BOARD IroningBoard) (hasPurpose ?BOARD (exists (?IRON ?FABRIC ?OBJ) (and (instance ?IRON Ironing) (patient ?IRON ?OBJ) (part ?FABRIC ?OBJ) (instance ?FABRIC Fabric) (holdsDuring (WhenFn ?IRON) (orientation ?OBJ ?BOARD On)))))) |
Mid-level-ontology.kif 25259-25270 |
|
|
|