ForestProduct - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ForestProduct EnglishLanguage "Products from the Forest.")	Economy.kif 5549-5549
(subclass ForestProduct Product)	Economy.kif 5548-5548

appearance as argument number 2

(subclass WoodProduct ForestProduct)	Economy.kif 5565-5565
(termFormat EnglishLanguage ForestProduct "forest product")	domainEnglishFormat.kif 64906-64906

antecedent

(=>
    (and
        (instance ?P ForestProduct)
        (instance ?M Manufacture)
        (result ?M ?P)
        (patient ?M ?X)
        (instance ?X Organism))
    (exists (?A ?F)
        (and
            (instance ?A Agriculture)
            (result ?A ?X)
            (eventLocated ?A ?F)
            (instance ?F Forest))))

Economy.kif 5551-5563