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 | RoughSawnLumber 是 木料 的 subclass |
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 |