FinishedLumber - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FinishedLumber EnglishLanguage "FinishedLumber is RoughSawnLumber that has been passed through a Planner.")	Economy.kif 5559-5560
(subclass FinishedLumber Lumber)	Economy.kif 5558-5558	FinishedLumber ist eine teilkategorie von Lumber

appearance as argument number 2

(termFormat EnglishLanguage FinishedLumber "FinishedLumber")

domainEnglishFormat.kif 64862-64862

antecedent

(=>
    (instance ?F FinishedLumber)
    (exists (?C ?P)
        (and
            (instance ?C Cutting)
            (instrument ?C ?P)
            (instance ?P Planer)
            (result ?C ?F))))

Economy.kif 5562-5569

Wenn Entity ist ein fall von FinishedLumber %n{nicht},
dann es gibt Process und Object um ** Process ist ein fall von Cutting %n{nicht} und ** Object ist ein instrument fuer ** Process %n{nicht} und ** Object ist ein fall von Planer %n{nicht} und ** Entity ist ein resultat von ** Process %n{nicht}