|
|
   GrapeVine
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GrapeVine Vine) | Economy.kif 4737-4737 | GrapeVine 是 Vine 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GrapeVine "grape vine") | domainEnglishFormat.kif 64950-64950 |
| consequent |
|
|
| (=> (equal ?P (PlantFn WineGrape)) (subclass ?P GrapeVine)) |
Economy.kif 4732-4735 |
|
|
|