RedwoodTree
|
|
appearance as argument number 1 |
(documentation RedwoodTree EnglishLanguage "RedwoodTree is also known as Sequoioideae. It is in the family of Cupressaceae. The redwood species contains the largest and tallest trees in the world.[Wikipedia]") | Geography.kif 6579-6580 | |
(subclass RedwoodTree CypressTree) | Geography.kif 6578-6578 | RedwoodTree ist eine teilkategorie von CypressTree |
appearance as argument number 2 |
(termFormat EnglishLanguage RedwoodTree "Redwood tree") | domainEnglishFormat.kif 65398-65398 |