Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Coach
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MapleWood Hardwood) | Economy.kif 5684-5684 | Maple wood is a subclass of hardwood |
| (documentation MapleWood EnglishLanguage "MapleWood is made from logs of Maple trees.") | Economy.kif 5685-5685 | Maple wood is a subclass of hardwood |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept MapleTree MapleWood) | Geography.kif 8130-8130 | Maple tree is internally related to maple wood |
| (termFormat EnglishLanguage MapleWood "maple wood") | domainEnglishFormat.kif 65153-65153 | Maple tree is internally related to maple wood |
| antecedent |
|
|
| (=> (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 |
|