| WineGrape | |
| appearance as argument number 1 |
|
|
| (documentation WineGrape EnglishLanguage "A Class of Grape for which its Juice is used for the Fermentation of Wine.") | Food.kif 3687-3688 | |
| (subclass WineGrape (FoodForFn Animal)) |
Food.kif 3689-3689 | WineGrape ist eine teilkategorie von FoodForFn Animal |
| (subclass WineGrape Fruit) | Economy.kif 4730-4730 | WineGrape ist eine teilkategorie von Fruit |
| (subclass WineGrape Grape) | Food.kif 3690-3690 | WineGrape ist eine teilkategorie von Grape |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage WineGrape "酿酒葡萄") | domainEnglishFormat.kif 63173-63173 | |
| (termFormat ChineseTraditionalLanguage WineGrape "釀酒葡萄") | domainEnglishFormat.kif 63172-63172 | |
| (termFormat EnglishLanguage WineGrape "wine grape") | domainEnglishFormat.kif 63171-63171 |
| antecedent |
|
|
| (=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 3692-3699 |
|
| (=> (equal ?P (PlantFn WineGrape)) (subclass ?P GrapeVine)) |
Economy.kif 4732-4735 |
| statement |
|
|
| (equal Vineyard (FarmOfProductFn WineGrape)) |
Food.kif 3685-3685 | Vineyard ist gleich FarmOfProductFn WineGrape %n{nicht} |
|
|
|