Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Schnapps(schnapps) |  | schnapps, schnaps |
| appearance as argument number 1 |
|
|
| (documentation Schnapps EnglishLanguage "A Liqueur made from distilling fruit.") | Food.kif 3400-3400 | |
| (subclass Schnapps Liqueur) | Food.kif 3401-3401 | Schnapps is a subclass of liqueur |
| (roomTempState Schnapps Liquid) | Food.kif 3402-3402 | room temperature state schnapps and liquid |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Schnapps "schnapps") | domainEnglishFormat.kif 65450-65450 |
| antecedent |
|
|
| (=> (instance ?S Schnapps) (exists (?D ?F) (and (instance ?D Distilling) (instance ?F Fruit) (resource ?D ?F) (result ?D ?S)))) |
Food.kif 3403-3410 | If X is an instance of schnapps, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of fruit, Z is a resource for Y, and X is a result of Y |
|