Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CaffeinateFreeTea(caffeinate free tea) |
| appearance as argument number 1 |
|
| (subclass CaffeinateFreeTea Beverage) | Food.kif 1833-1833 | Caffeinate free tea is a subclass of beverage |
| (documentation CaffeinateFreeTea EnglishLanguage "A Beverage which is prepared by infusing uncaffeinated leaves, fruits or flowersinto hot water. This include herbal tea, fruit tea and flower tea") | Food.kif 1834-1835 | Caffeinate free tea is a subclass of beverage |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CaffeinateFreeTea "caffeinate free tea") | Food.kif 1836-1836 |
| antecedent |
|
|
| (=> (instance ?X CaffeinateFreeTea) (not (attribute ?X CaffeinatedAttribute))) |
Food.kif 1838-1841 | If X is an instance of caffeinate free tea, then caffeinated is not an attribute of X |
|