|
|
   Planer
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Planer EnglishLanguage "A Machine designed to produce a Flat surface on a wooden board.") | Economy.kif 5056-5056 | |
| (subclass Planer CuttingDevice) | Economy.kif 5055-5055 | |
| (subclass Planer Machine) | Economy.kif 5054-5054 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Planer "刨床") | domainEnglishFormat.kif 46009-46009 | |
| (termFormat ChineseTraditionalLanguage Planer "刨床") | domainEnglishFormat.kif 46008-46008 | |
| (termFormat EnglishLanguage Planer "planer") | domainEnglishFormat.kif 46007-46007 |
| antecedent |
|
|
| (=> (instance ?PLANER Planer) (hasPurpose ?PLANER (exists (?CUT ?OBJ1 ?OBJ2) (and (instance ?CUT Cutting) (instrument ?CUT ?PLANER) (resource ?CUT ?OBJ1) (instance ?OBJ1 Object) (material ?OBJ1 Wood) (result ?CUT ?OBJ2) (instance ?OBJ2 Object) (material ?OBJ2 Wood) (attribute ?OBJ2 Flat) (instance ?U UnitOfLength) (height ?OBJ1 (MeasureFn ?H1 ?U)) (height ?OBJ2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 ?H2))))) |
Economy.kif 5058-5077 |
|
|
|