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 è una sottoclasse di Prodotto |
appearance as argument number 2 |
(subclass WoodProduct ForestProduct) | Economy.kif 5224-5224 | WoodProduct è una sottoclasse di ForestProduct |
(termFormat EnglishLanguage ForestProduct "forest product") | domainEnglishFormat.kif 64885-64885 |
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 |
|