Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SapeleTree(Sapele tree) |
| appearance as argument number 1 |
|
| (subclass SapeleTree DeciduousTree) | Geography.kif 8155-8155 | Sapele tree is a subclass of deciduous tree |
| (relatedInternalConcept SapeleTree SapeleWood) | Geography.kif 8156-8156 | Sapele tree is internally related to Sapele wood |
| (documentation SapeleTree EnglishLanguage "SapeleTree is a tree native to tropical Africa. It's genus is Entandrophragma, with 11 known species in the family of Meliaceae.[Wikipedia]") | Geography.kif 8157-8158 | Sapele tree is internally related to Sapele wood |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SapeleTree "Sapele tree") | domainEnglishFormat.kif 65442-65442 |
| consequent |
|
|
| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W SapeleWood) (subclass ?S PlantStem)) (initialPart ?S SapeleTree)) |
Economy.kif 5727-5732 | If equal X and Object made from Y, X is a subclass of Sapele wood, and Y is a subclass of plant stem, then every Y is initially part of a Sapele tree |
|