ForestProduct - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass WoodProduct ForestProduct)	Economy.kif 5339-5339
(termFormat EnglishLanguage ForestProduct "forest product")	domainEnglishFormat.kif 64908-64908

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 5325-5337