| 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 5648-5649 | |
| (subclass Lumber WoodProduct) | Economy.kif 5647-5647 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Timber Lumber) | Economy.kif 5615-5615 | |
| (subclass FinishedLumber Lumber) | Economy.kif 5673-5673 | |
| (subclass RoughSawnLumber Lumber) | Economy.kif 5659-5659 | |
| (termFormat ChineseLanguage Lumber "木料") | domainEnglishFormat.kif 35314-35314 | |
| (termFormat ChineseTraditionalLanguage Lumber "木料") | domainEnglishFormat.kif 35313-35313 | |
| (termFormat EnglishLanguage Lumber "lumber") | domainEnglishFormat.kif 35312-35312 |
| antecedent |
|
|
| (=> (instance ?L Lumber) (exists (?C ?T) (and (instance ?C Cutting) (result ?C ?L) (patient ?C ?T) (instance ?T Lumber)))) |
Economy.kif 5638-5645 | |
| (=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L))))) |
Economy.kif 5651-5657 |
| consequent |
|
|
| (=> (instance ?L Lumber) (exists (?C ?T) (and (instance ?C Cutting) (result ?C ?L) (patient ?C ?T) (instance ?T Lumber)))) |
Economy.kif 5638-5645 |
|
|
|