Lumber - Sigma 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 5743-5744
(subclass Lumber WoodProduct)	Economy.kif 5742-5742	Lumber is a subclass of wood product

appearance as argument number 2

(relatedInternalConcept Timber Lumber)	Economy.kif 5710-5710	Timber is internally related to lumber
(subclass FinishedLumber Lumber)	Economy.kif 5768-5768	FinishedLumber is a subclass of lumber
(subclass RoughSawnLumber Lumber)	Economy.kif 5754-5754	Rough sawn lumber is a subclass of lumber
(termFormat ChineseLanguage Lumber "木料")	domainEnglishFormat.kif 35313-35313	Rough sawn lumber is a subclass of lumber
(termFormat ChineseTraditionalLanguage Lumber "木料")	domainEnglishFormat.kif 35312-35312	Rough sawn lumber is a subclass of lumber
(termFormat EnglishLanguage Lumber "lumber")	domainEnglishFormat.kif 35311-35311	Rough sawn lumber is a subclass of lumber

antecedent

(=> (instance ?L Lumber) (exists (?C ?T) (and (instance ?C Cutting) (result ?C ?L) (patient ?C ?T) (instance ?T Lumber))))	Economy.kif 5733-5740	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 5746-5752	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 5733-5740