| 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 3324-3324 | |
| (subclass Raisin FoodFromPlant) | Food.kif 3323-3323 | Raisin is a subclass of food from plant |
| (subclass Raisin PreparedFood) | Food.kif 3322-3322 | Raisin is a subclass of prepared food |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Raisin "raisin") | domainEnglishFormat.kif 65383-65383 |
| antecedent |
|
|
| (=> (instance ?R Raisin) (exists (?D ?G) (and (instance ?D Drying) (instance ?G Grape) (patient ?D ?G) (result ?D ?R)))) |
Food.kif 3325-3332 |
|
|
|
|