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 25197-25198 | |
(subclass IroningBoard Device) | Mid-level-ontology.kif 25196-25196 | IroningBoard est une sous-classe de appareil |
appearance as argument number 2 |
(termFormat EnglishLanguage IroningBoard "ironing board") | Mid-level-ontology.kif 25199-25199 |
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 25201-25212 |