Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Aperitif(aperitif) |  | aperitif |
| appearance as argument number 1 |
|
|
| (subclass Aperitif DistilledAlcoholicBeverage) | Food.kif 2110-2110 | Aperitif is a subclass of distilled alcoholic beverage |
| (documentation Aperitif EnglishLanguage "A class that includes digestifs. A bitter alcoholic beverage taken with food, supposed to aid in digestion. This class does not include wine, brandy or other alcoholic beverages that may be used as aperitifs.") | Food.kif 2111-2113 | Aperitif is a subclass of distilled alcoholic beverage |
| (roomTempState Aperitif Liquid) | Food.kif 2114-2114 | room temperature state aperitif and liquid |
| appearance as argument number 2 |
|
|
| (subclass Campari Aperitif) | Food.kif 2436-2436 | Campari is a subclass of aperitif |
| (termFormat EnglishLanguage Aperitif "aperitif") | domainEnglishFormat.kif 64454-64454 | Campari is a subclass of aperitif |
| antecedent |
|
|
| (=> (instance ?X Aperitif) (attribute ?X Bitterness)) |
Food.kif 2116-2118 | If X is an instance of aperitif, then bitterness is an attribute of X |
|