Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Gooseberry(gooseberry) |
| appearance as argument number 1 |
|
| s__subclass(s__Gooseberry,s__Berry)
|
Food.kif 2267-2267 | Gooseberry is a subclass of berry |
| s__documentation(s__Gooseberry, s__EnglishLanguage, "Gooseberry is common name for fruits of many species of Ribes which also include currants_[Wikipedia]") | Food.kif 2268-2269 | Gooseberry is a subclass of berry |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, s__Gooseberry, "gooseberry") | Food.kif 2270-2270 |
|