Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WineGrape(wine grape) |  | Vitis_vinifera, common_grape_vine, vinifera, vinifera_grape |
| appearance as argument number 1 |
|
|
| (subclass WineGrape Fruit) | Economy.kif 5065-5065 | Wine grape is a subclass of fruit |
| (documentation WineGrape EnglishLanguage "A Class of Grape for which its Juice is used for the Fermentation of Wine.") | Food.kif 3726-3727 | Wine grape is a subclass of fruit |
| (subclass WineGrape (FoodForFn Animal)) |
Food.kif 3728-3728 | Wine grape is a subclass of food for animal |
| (subclass WineGrape Grape) | Food.kif 3729-3729 | Wine grape is a subclass of grape |
| (subclass WineGrape PlantAgriculturalArtifact) | Society.kif 999-999 | Wine grape is a subclass of PlantAgriculturalArtifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (equal ?P (PlantFn WineGrape)) (subclass ?P GrapeVine)) |
Economy.kif 5067-5070 | If equal X and plant fn wine grape, then X is a subclass of grape vine |
| (=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 3731-3738 | If X is an instance of fermentation, Y is a patient of X, Y is an instance of the juice of wine grape, and Z is a result of X, then Z is an instance of wine |
| consequent |
|
|
| (=> (instance ?W Wine) (exists (?F ?WG) (and (instance ?F Fermentation) (instance ?WG (JuiceOfFn WineGrape)) (resource ?F ?WG) (result ?F ?W)))) |
Society.kif 1180-1187 | If X is an instance of wine, then there exist Y, Z such that Y is an instance of fermentation, Z is an instance of the juice of wine grape, Z is a resource for Y, and X is a result of Y |
| statement |
|
|
| (equal Vineyard (FarmOfProductFn WineGrape)) |
Food.kif 3724-3724 | equal vineyard and a farm of wine grape in |
|