Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| YakMilk(yak milk) |  | yak's_milk |
| appearance as argument number 1 |
|
|
| (subclass YakMilk Milk) | Food.kif 3085-3085 | Yak milk is a subclass of milk |
| (documentation YakMilk EnglishLanguage "YakMilk is the Milk of yaks.") | Food.kif 3086-3086 | Yak milk is a subclass of milk |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage YakMilk "yak milk") | Food.kif 3087-3087 |
|