Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Rum
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Rum EnglishLanguage "A distilled spirit made from molasses or sugarcane that is then aged.") | Food.kif 3368-3369 | |
| (subclass Rum DistilledAlcoholicBeverage) | Food.kif 3370-3370 | Rum is a subclass of distilled alcoholic beverage |
| (roomTempState Rum Liquid) | Food.kif 3371-3371 | room temperature state rum and liquid |
| (subclass Rum BeverageArtifact) | Society.kif 1218-1218 | Rum is a subclass of BeverageArtifact |
| appearance as argument number 2 |
|
|
| (subclass Bacardi Rum) | Food.kif 2141-2141 | Bacardi is a subclass of rum |
| (termFormat EnglishLanguage Rum "rum") | domainEnglishFormat.kif 65433-65433 | 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 3373-3380 | If X is an instance of rum, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of sugar cane, Z is a resource for Y, and X is a result of Y |
|