Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DuckMeat(duck) |  | duck, duckling |
| appearance as argument number 1 |
|
|
| (subclass DuckMeat PoultryMeat) | Food.kif 2051-2051 | Duck is a subclass of poultry |
| (meatOfAnimal DuckMeat Duck) | Food.kif 2053-2053 | Duck is the meat of duck |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DuckMeat "duck") | Food.kif 2052-2052 |
|