ForestProduct - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ForestProduct Product)	Economy.kif 5556-5556	Forest product is a subclass of product
(documentation ForestProduct EnglishLanguage "Products from the Forest.")	Economy.kif 5557-5557	Forest product is a subclass of product

appearance as argument number 2

(subclass WoodProduct ForestProduct)	Economy.kif 5573-5573	Wood product is a subclass of forest product
(termFormat EnglishLanguage ForestProduct "forest product")	domainEnglishFormat.kif 64886-64886	Wood product is a subclass of forest product

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))))

If X is an instance of forest product, Y is an instance of manufacture, X is a result of Y, Z is a patient of Y, and Z is an instance of organism, then there exist W, V such that W is an instance of agriculture, Z is a result of W, W is located at V, and V is an instance of forest