Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cider(cider) |  | cider, cyder, hard_cider, mulled_cider, scrumpy, sweet_cider |
| appearance as argument number 1 |
|
|
| (subclass Cider BeverageArtifact) | Society.kif 1189-1189 | Cider is a subclass of BeverageArtifact |
| (subclass Cider AlcoholicBeverage) | Society.kif 1190-1190 | Cider is a subclass of alcoholic beverage |
| (documentation Cider EnglishLanguage "Cider or cyder is a fermented beverage made from Apple juice. Cider varies in alcohol content from 2% abv to 8.5% abv or more in traditional English ciders.") | Society.kif 1192-1192 | Cider is a subclass of alcoholic beverage |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cider "cider") | domainEnglishFormat.kif 64646-64646 |
| antecedent |
|
|
| (=> (instance ?C Cider) (exists (?F ?A) (and (instance ?F Fermentation) (instance ?A (JuiceOfFn Apple)) (resource ?F ?A) (result ?F ?C)))) |
Society.kif 1194-1201 | If X is an instance of cider, then there exist Y, Z such that Y is an instance of fermentation, Z is an instance of the juice of apple, Z is a resource for Y, and X is a result of Y |
|