TreeView Knowledge Base Browser

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	子類木料 and WoodProduct

appearance as argument number 2

(relatedInternalConcept Timber Lumber)	Economy.kif 5500-5500	相關的內部概念原木材 and 木料
(subclass FinishedLumber Lumber)	Economy.kif 5558-5558	子類 FinishedLumber and 木料
(subclass RoughSawnLumber Lumber)	Economy.kif 5544-5544	子類 RoughSawnLumber and 木料
(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	例 Entity and 木料 Process Entity 例 Process and Cutting 結果 Process and Entity 患者 Process and Entity 例 Entity and 木料
(=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L)))))	Economy.kif 5536-5542	例 Physical and 木料有目的 Physical and entity 例 entity and 木工患者 entity and Physical

consequent

(=>
    (instance ?L Lumber)
    (exists (?C ?T)
        (and
            (instance ?C Cutting)
            (result ?C ?L)
            (patient ?C ?T)
            (instance ?T Lumber))))

Economy.kif 5523-5530