| Planer | |
| appearance as argument number 1 |
|
|
| (documentation Planer EnglishLanguage "A Machine designed to produce a Flat surface on a wooden board.") | Economy.kif 6015-6015 | |
| (subclass Planer CuttingDevice) | Economy.kif 6014-6014 | Planer è una sottoclasse di CuttingDevice |
| (subclass Planer Machine) | Economy.kif 6013-6013 | Planer è una sottoclasse di Macchinario |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Planer "刨床") | domainEnglishFormat.kif 46028-46028 | |
| (termFormat ChineseTraditionalLanguage Planer "刨床") | domainEnglishFormat.kif 46027-46027 | |
| (termFormat EnglishLanguage Planer "planer") | domainEnglishFormat.kif 46026-46026 |
| antecedent |
|
|
| (=> (instance ?PLANER Planer) (hasPurpose ?PLANER (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2) (and (instance ?CUT Cutting) (instrument ?CUT ?PLANER) (resource ?CUT ?OBJ1) (instance ?OBJ1 Object) (material ?OBJ1 Wood) (result ?CUT ?OBJ2) (instance ?OBJ2 Object) (material Wood ?OBJ2) (attribute ?OBJ2 Flat) (instance ?U UnitOfLength) (height ?OBJ1 (MeasureFn ?H1 ?U)) (height ?OBJ2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 ?H2))))) |
Economy.kif 6017-6036 |
|
| consequent |
|
|
| (=> (instance ?F FinishedLumber) (exists (?C ?P) (and (instance ?C Cutting) (instrument ?C ?P) (instance ?P Planer) (result ?C ?F)))) |
Economy.kif 5562-5569 | |
| (=> (instance ?R RoughSawnLumber) (not (exists (?C ?P) (and (instance ?C Cutting) (instrument ?C ?P) (instance ?P Planer) (patient ?C ?R))))) |
Economy.kif 5548-5556 |
|
|
|