TreeView Knowledge Base Browser

antecedent

(=> (instance ?L Lumber) (exists (?C ?T) (and (instance ?C Cutting) (result ?C ?L) (patient ?C ?T) (instance ?T Lumber))))	Economy.kif 5874-5881	If X is an instance of lumber, then there exist Y, Z such that Y is an instance of cutting, X is a result of Y, Z is a patient of Y, and Z is an instance of lumber
(=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L)))))	Economy.kif 5887-5893	If X is an instance of lumber, then X has the purpose there exists Y such that Y is an instance of carpentry and X is a patient of Y

consequent

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

If X is an instance of lumber, then there exist Y, Z such that Y is an instance of cutting, X is a result of Y, Z is a patient of Y, and Z is an instance of lumber

(subclass Lumber WoodProduct)	Economy.kif 5883-5883	Lumber is a subclass of wood product
(documentation Lumber EnglishLanguage "Lumber is a class of WoodProduct cut into various sizes and forms from Timber.")	Economy.kif 5884-5885	Lumber is a subclass of wood product
(documentation Lumber EnglishLanguage "A Product derived from Timber.")	Society.kif 1383-1383	Lumber is a subclass of wood product
(subclass Lumber Product)	Society.kif 1384-1384	Lumber is a subclass of product

(relatedInternalConcept Timber Lumber)	Economy.kif 5850-5850	Timber is internally related to lumber
(subclass RoughSawnLumber Lumber)	Economy.kif 5895-5895	Rough sawn lumber is a subclass of lumber
(subclass FinishedLumber Lumber)	Economy.kif 5909-5909	FinishedLumber is a subclass of lumber
(termFormat EnglishLanguage Lumber "lumber")	domainEnglishFormat.kif 35287-35287	FinishedLumber is a subclass of lumber
(termFormat ChineseTraditionalLanguage Lumber "木料")	domainEnglishFormat.kif 35288-35288	FinishedLumber is a subclass of lumber
(termFormat ChineseLanguage Lumber "木料")	domainEnglishFormat.kif 35289-35289	FinishedLumber is a subclass of lumber