| 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 は FoodForFn 動物 の subclass では %n |
| (subclass WineGrape Fruit) | Economy.kif 4730-4730 | WineGrape は Fruit の subclass では %n |
| (subclass WineGrape Grape) | Food.kif 3690-3690 | WineGrape は Grape の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage WineGrape "酿酒葡萄") | domainEnglishFormat.kif 63171-63171 | |
| (termFormat ChineseTraditionalLanguage WineGrape "釀酒葡萄") | domainEnglishFormat.kif 63170-63170 | |
| (termFormat EnglishLanguage WineGrape "wine grape") | domainEnglishFormat.kif 63169-63169 |
| 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 は FarmOfProductFn WineGrape と equal では %n |
|
|
|