|
|
   Rum
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Rum EnglishLanguage "A distilled spirit made from molasses or sugarcane that is then aged.") | Food.kif 3336-3337 | |
| (roomTempState Rum Liquid) | Mid-level-ontology.kif 31435-31435 | |
| (subclass Rum DistilledAlcoholicBeverage) | Food.kif 3338-3338 |
| appearance as argument number 2 |
|
|
| (subclass Bacardi Rum) | Food.kif 2123-2123 | |
| (termFormat EnglishLanguage Rum "rum") | domainEnglishFormat.kif 65430-65430 |
| antecedent |
|
|
| (=> (instance ?R Rum) (exists (?D ?S) (and (instance ?D Distilling) (instance ?S SugarCane) (resource ?D ?S) (result ?D ?R)))) |
Food.kif 3339-3346 |
|
|
|