Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CottonwoodTree(cottonwood tree) |
| appearance as argument number 1 |
|
| (subclass CottonwoodTree DeciduousTree) | Geography.kif 8143-8143 | Cottonwood tree is a subclass of deciduous tree |
| (documentation CottonwoodTree EnglishLanguage "CottonwoodTree is a genus of 25-30 species in the family of Salicaceae.[Wikipedia]") | Geography.kif 8144-8144 | Cottonwood tree is a subclass of deciduous tree |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CottonwoodTree "cottonwood tree") | domainEnglishFormat.kif 64708-64708 |
|