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	Lumber は WoodProduct の subclass では %n

appearance as argument number 2

(relatedInternalConcept Timber Lumber)	Economy.kif 5500-5500	Timber は Lumber に internally 関連して %n
(subclass FinishedLumber Lumber)	Economy.kif 5558-5558	FinishedLumber は Lumber の subclass では %n
(subclass RoughSawnLumber Lumber)	Economy.kif 5544-5544	RoughSawnLumber は Lumber の subclass では %n
(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	エンティティーは Lumber の instance では %n 工程エンティティー工程は切断の instance では %n エンティティーは工程の result では %n エンティティーは工程の patient では %n エンティティーは Lumber の instance では %n
(=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L)))))	Economy.kif 5536-5542	物理は Lumber の instance では %n 物理はエンティティーエンティティーは Carpentry の instance では %n 物理はエンティティーの patient では %n の目的 %n{ない}

consequent

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

Economy.kif 5523-5530