| Lumber(木料) | |
| appearance as argument number 1 |
|
|
| (documentation Lumber EnglishLanguage "Lumber is a class of WoodProduct cut into various sizes and forms from Timber.") | Economy.kif 5875-5876 | |
| (subclass Lumber WoodProduct) | Economy.kif 5874-5874 | 木料 是 WoodProduct 的 subclass |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Timber Lumber) | Economy.kif 5842-5842 | 原木材 和 木料 是 内部相关 |
| (subclass FinishedLumber Lumber) | Economy.kif 5900-5900 | FinishedLumber 是 木料 的 subclass |
| (subclass RoughSawnLumber Lumber) | Economy.kif 5886-5886 | RoughSawnLumber 是 木料 的 subclass |
| (termFormat ChineseLanguage Lumber "木料") | domainEnglishFormat.kif 35313-35313 | RoughSawnLumber 是 木料 的 subclass |
| (termFormat ChineseTraditionalLanguage Lumber "木料") | domainEnglishFormat.kif 35312-35312 | RoughSawnLumber 是 木料 的 subclass |
| (termFormat EnglishLanguage Lumber "lumber") | domainEnglishFormat.kif 35311-35311 | RoughSawnLumber 是 木料 的 subclass |
| antecedent |
|
|
| (=> (instance ?L Lumber) (exists (?C ?T) (and (instance ?C Cutting) (result ?C ?L) (patient ?C ?T) (instance ?T Lumber)))) |
Economy.kif 5865-5872 | |
| (=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L))))) |
Economy.kif 5878-5884 |
| consequent |
|
|
| (=> (instance ?L Lumber) (exists (?C ?T) (and (instance ?C Cutting) (result ?C ?L) (patient ?C ?T) (instance ?T Lumber)))) |
Economy.kif 5865-5872 |
|
|
|