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 est une sous-classe de produit |
appearance as argument number 2 |
(subclass WoodProduct ForestProduct) | Economy.kif 5224-5224 | WoodProduct est une sous-classe de 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 |
|