ForestProduct - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass WoodProduct ForestProduct)	Economy.kif 5434-5434	Wood product is a subclass of forest product
(termFormat EnglishLanguage ForestProduct "forest product")	domainEnglishFormat.kif 64906-64906	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))))

Economy.kif 5420-5432