| Raisin(raisin) | | currant, raisin, seeded_raisin, seedless_raisin, sultana |
| appearance as argument number 1 |
|
|
| (documentation Raisin EnglishLanguage "A raisin is a dried grape.") | Food.kif 3331-3331 | |
| (subclass Raisin FoodFromPlant) | Food.kif 3330-3330 | Raisin is a subclass of food from plant |
| (subclass Raisin PreparedFood) | Food.kif 3329-3329 | Raisin is a subclass of prepared food |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Raisin "raisin") | domainEnglishFormat.kif 65406-65406 |
| antecedent |
|
|
| (=> (instance ?R Raisin) (exists (?D ?G) (and (instance ?D Drying) (instance ?G Grape) (patient ?D ?G) (result ?D ?R)))) |
Food.kif 3332-3339 |
|
|
|
|