|
|
   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 5533-5534 | |
| (subclass Lumber WoodProduct) | Economy.kif 5532-5532 | 木料 是 WoodProduct 的 subclass |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Timber Lumber) | Economy.kif 5500-5500 | 原木材 和 木料 是 内部相关 |
| (subclass FinishedLumber Lumber) | Economy.kif 5558-5558 | FinishedLumber 是 木料 的 subclass |
| (subclass RoughSawnLumber Lumber) | Economy.kif 5544-5544 | RoughSawnLumber 是 木料 的 subclass |
| (termFormat ChineseLanguage Lumber "木料") | domainEnglishFormat.kif 35285-35285 | |
| (termFormat ChineseTraditionalLanguage Lumber "木料") | domainEnglishFormat.kif 35284-35284 | |
| (termFormat EnglishLanguage Lumber "lumber") | domainEnglishFormat.kif 35283-35283 |
| antecedent |
|
|
| (=> (instance ?L Lumber) (exists (?C ?T) (and (instance ?C Cutting) (result ?C ?L) (patient ?C ?T) (instance ?T Lumber)))) |
Economy.kif 5523-5530 | |
| (=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L))))) |
Economy.kif 5536-5542 |
| consequent |
|
|
| (=> (instance ?L Lumber) (exists (?C ?T) (and (instance ?C Cutting) (result ?C ?L) (patient ?C ?T) (instance ?T Lumber)))) |
Economy.kif 5523-5530 |
|
|
|