Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AspenTree(Aspen tree) |
| appearance as argument number 1 |
|
| (subclass AspenTree DeciduousTree) | Geography.kif 8146-8146 | Aspen tree is a subclass of deciduous tree |
| (documentation AspenTree EnglishLanguage "AspenTree is a genus of 25-30 species in the family of Salicaceae.[Wikipedia]") | Geography.kif 8147-8147 | Aspen tree is a subclass of deciduous tree |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AspenTree "Aspen tree") | domainEnglishFormat.kif 64482-64482 |
| statement |
|
|
| (equal (JankaHardnessFn AspenTree) (MeasureFn 350 PoundForce)) |
Geography.kif 8148-8148 | equal The Janka Hardness of Aspen tree is and 350 pound force(s) |
|