Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GoatMilk(goat milk) |  | goats'_milk |
| appearance as argument number 1 |
|
|
| (subclass GoatMilk Milk) | Food.kif 3067-3067 | Goat milk is a subclass of milk |
| (documentation GoatMilk EnglishLanguage "GoatMilk is the Milk of Goats.") | Food.kif 3068-3068 | Goat milk is a subclass of milk |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GoatMilk "goat milk") | Food.kif 3069-3069 | |
| (subclass ProcessedGoatMilk GoatMilk) | Food.kif 3073-3073 | Processed gaot milk is a subclass of goat milk |
|