Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SheepMilk(sheep milk) |
| appearance as argument number 1 |
|
| (subclass SheepMilk Milk) | Food.kif 3077-3077 | Sheep milk is a subclass of milk |
| (documentation SheepMilk EnglishLanguage "SheepMilk is Milk of Sheep.") | Food.kif 3078-3078 | Sheep milk is a subclass of milk |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SheepMilk "sheep milk") | Food.kif 3079-3079 |
|