ForestProduct - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ForestProduct EnglishLanguage "Products from the Forest.")	Economy.kif 5208-5208
(subclass ForestProduct Product)	Economy.kif 5207-5207	ForestProduct 是产品的 subclass

appearance as argument number 2

(subclass WoodProduct ForestProduct)	Economy.kif 5224-5224	WoodProduct 是 ForestProduct 的 subclass
(termFormat EnglishLanguage ForestProduct "forest product")	domainEnglishFormat.kif 64883-64883

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 5210-5222