| 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 3343-3344 | |
| (roomTempState Rum Liquid) | Mid-level-ontology.kif 33139-33139 | room temperature state rum and liquid |
| (subclass Rum DistilledAlcoholicBeverage) | Food.kif 3345-3345 | Rum is a subclass of distilled alcoholic beverage |
| appearance as argument number 2 |
|
|
| (subclass Bacardi Rum) | Food.kif 2130-2130 | Bacardi is a subclass of rum |
| (termFormat EnglishLanguage Rum "rum") | domainEnglishFormat.kif 65453-65453 | 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 3346-3353 |
|
|
|
|