ForestProduct
|
|
appearance as argument number 1 |
(documentation ForestProduct EnglishLanguage "Products from the Forest.") | Economy.kif 5208-5208 | |
(subclass ForestProduct Product) | Economy.kif 5207-5207 | ForestProduct ist eine teilkategorie von Product |
appearance as argument number 2 |
(subclass WoodProduct ForestProduct) | Economy.kif 5224-5224 | WoodProduct ist eine teilkategorie von ForestProduct |
(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 |
|