Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MapleTree(maple tree) |
| appearance as argument number 1 |
|
| (subclass MapleTree DeciduousTree) | Geography.kif 8129-8129 | Maple tree is a subclass of deciduous tree |
| (relatedInternalConcept MapleTree MapleWood) | Geography.kif 8130-8130 | Maple tree is internally related to maple wood |
| (documentation MapleTree EnglishLanguage "MapleTrees are rancked as Acer. It is in the family of Sapindaceae.[Wikipedia]") | Geography.kif 8131-8131 | Maple tree is internally related to maple wood |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MapleTree "maple tree") | domainEnglishFormat.kif 65152-65152 |
| consequent |
|
|
| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W MapleWood) (subclass ?S PlantStem)) (initialPart ?S MapleTree)) |
Economy.kif 5687-5692 | If equal X and Object made from Y, X is a subclass of maple wood, and Y is a subclass of plant stem, then every Y is initially part of a maple tree |
|