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 は 製品 の subclass では %n |
appearance as argument number 2 |
(subclass WoodProduct ForestProduct) | Economy.kif 5224-5224 | WoodProduct は ForestProduct の subclass では %n |
(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 |