| Rum(rum) | | Jamaica_rum, demerara, demerara_rum, 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 31700-31700 | roomTempState rum and liquid |
| (subclass Rum DistilledAlcoholicBeverage) | Food.kif 3338-3338 | Rum is a subclass of distilled alcoholic beverage |
| appearance as argument number 2 |
|
|
| (subclass Bacardi Rum) | Food.kif 2123-2123 | Bacardi is a subclass of rum |
| (termFormat EnglishLanguage Rum "rum") | domainEnglishFormat.kif 65478-65478 | Bacardi is a subclass of rum |
| antecedent |
|
|
| (=> (instance ?R Rum) (exists (?D ?S) (and (instance ?D Distilling) (instance ?S SugarCane) (resource ?D ?S) (result ?D ?R)))) |
Food.kif 3339-3346 |
|
|
|
|