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 and Product |
appearance as argument number 2 |
(subclass WoodProduct ForestProduct) | Economy.kif 5224-5224 | 子類 WoodProduct and 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 |