Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PoplarTree(Poplar tree) |
| appearance as argument number 1 |
|
| (subclass PoplarTree DeciduousTree) | Geography.kif 8138-8138 | Poplar tree is a subclass of deciduous tree |
| (relatedInternalConcept PoplarTree PoplarWood) | Geography.kif 8139-8139 | Poplar tree is internally related to Poplar wood |
| (documentation PoplarTree EnglishLanguage "PoplarTree is a genus of 25-30 species in the family of Salicaceae.[Wikipedia]") | Geography.kif 8140-8140 | Poplar tree is internally related to Poplar wood |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PoplarTree "Poplar tree") | domainEnglishFormat.kif 65341-65341 |
| consequent |
|
|
| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W PoplarWood) (subclass ?S PlantStem)) (initialPart ?S PoplarTree)) |
Economy.kif 5707-5712 | If equal X and Object made from Y, X is a subclass of Poplar wood, and Y is a subclass of plant stem, then every Y is initially part of a Poplar tree |
| statement |
|
|
| (equal (JankaHardnessFn PoplarTree) (MeasureFn 540 PoundForce)) |
Geography.kif 8141-8141 | equal The Janka Hardness of Poplar tree is and 540 pound force(s) |
|