|
|
   RoughSawnLumber
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RoughSawnLumber EnglishLanguage "RoughSawnLumber is Lumber cut into a broad of desired thickness, width and one straigth-line edge.") | Economy.kif 5545-5546 | |
| (subclass RoughSawnLumber Lumber) | Economy.kif 5544-5544 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RoughSawnLumber "rough sawn lumber") | domainEnglishFormat.kif 65425-65425 |
| antecedent |
|
|
| (=> (instance ?R RoughSawnLumber) (not (exists (?C ?P) (and (instance ?C Cutting) (instrument ?C ?P) (instance ?P Planer) (patient ?C ?R))))) |
Economy.kif 5548-5556 |
|
|
|