Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Liqueur(liqueur) |  | Chartreuse, Drambuie, Galliano, Kahlua, Pernod, absinth, absinthe, anisette, anisette_de_Bordeaux, benedictine, coffee_liqueur, cordial, creme_de_cacao, creme_de_fraise, creme_de_menthe, curacao, curacoa, kummel, liqueur, maraschino, maraschino_liqueur, orange_liqueur, pastis, pousse-cafe, ratafee, ratafia, sambuca, triple_sec |
| appearance as argument number 1 |
|
|
| (subclass Liqueur DistilledAlcoholicBeverage) | Food.kif 2669-2669 | Liqueur is a subclass of distilled alcoholic beverage |
| (roomTempState Liqueur Liquid) | Food.kif 2670-2670 | room temperature state liqueur and liquid |
| (documentation Liqueur EnglishLanguage "A sweet alcoholic beverage that has been flavored with one of various substances.") | Food.kif 2675-2676 | room temperature state liqueur and liquid |
| appearance as argument number 2 |
|
|
| (subclass Amaretto Liqueur) | Food.kif 2107-2107 | Amaretto is a subclass of liqueur |
| (subclass Baileys Liqueur) | Food.kif 2164-2164 | Baileys is a subclass of liqueur |
| (subclass Chambord Liqueur) | Food.kif 2451-2451 | Chambord is a subclass of liqueur |
| (subclass Cointreau Liqueur) | Food.kif 2561-2561 | Cointreau is a subclass of liqueur |
| (subclass Kahlua Liqueur) | Food.kif 2637-2637 | Kahlua is a subclass of liqueur |
| (subclass GrandMarnier Liqueur) | Food.kif 2680-2680 | Grand Marnier is a subclass of liqueur |
| (subclass Schnapps Liqueur) | Food.kif 3401-3401 | Schnapps is a subclass of liqueur |
| (termFormat EnglishLanguage Liqueur "liqueur") | domainEnglishFormat.kif 65122-65122 | Schnapps is a subclass of liqueur |
| antecedent |
|
|
| (=> (instance ?L Liqueur) (material Sugar ?L)) |
Food.kif 2671-2673 | If X is an instance of liqueur, then X is made of sugar |
|