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 65385-65385 |
antecedent |
(=> (instance ?R Raisin) (exists (?D ?G) (and (instance ?D Drying) (instance ?G Grape) (patient ?D ?G) (result ?D ?R)))) |
Food.kif 3325-3332 |
|