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 is a subclass of wood product

appearance as argument number 2

(relatedInternalConcept Timber Lumber)	Economy.kif 5500-5500	Timber is internally related to lumber
(subclass FinishedLumber Lumber)	Economy.kif 5558-5558	FinishedLumber is a subclass of lumber
(subclass RoughSawnLumber Lumber)	Economy.kif 5544-5544	Rough sawn lumber is a subclass of lumber
(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	If an entity is an instance of lumber, then there exist a process and another entity such that the process is an instance of cutting and the entity is a result of the process and the other entity is a patient of the process and the other entity is an instance of lumber
(=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L)))))	Economy.kif 5536-5542	If a physical is an instance of lumber, then the physical has the purpose there exists an entity such that the entity is an instance of carpentry and the physical is a patient of the entity

consequent

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

Economy.kif 5523-5530