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 5533-5534
(subclass Lumber WoodProduct)	Economy.kif 5532-5532	Lumber ist eine teilkategorie von WoodProduct

appearance as argument number 2

(relatedInternalConcept Timber Lumber)	Economy.kif 5500-5500	Timber ist innerlich verwandt mit Lumber %n{nicht}
(subclass FinishedLumber Lumber)	Economy.kif 5558-5558	FinishedLumber ist eine teilkategorie von Lumber
(subclass RoughSawnLumber Lumber)	Economy.kif 5544-5544	RoughSawnLumber ist eine teilkategorie von 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	Wenn Entity ist ein fall von Lumber %n{nicht}, dann es gibt Process und Entity um Process ist ein fall von Cutting %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und ** Entity ist ein fall von Lumber %n{nicht}
(=> (instance ?L Lumber) (hasPurpose ?L (exists (?C) (and (instance ?C Carpentry) (patient ?C ?L)))))	Economy.kif 5536-5542	Wenn Physical ist ein fall von Lumber %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Carpentry %n{nicht} und Physical ist ein patient von entity %n{nicht} %n{nicht}

consequent

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

Economy.kif 5523-5530

Wenn Entity ist ein fall von Lumber %n{nicht},
dann es gibt Process und ** Entity um ** Process ist ein fall von Cutting %n{nicht} und ** Entity ist ein resultat von ** Process %n{nicht} und ** ** Entity ist ein patient von ** Process %n{nicht} und ** ** Entity ist ein fall von Lumber %n{nicht}