Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SapeleWood Hardwood) | Economy.kif 5724-5724 | Sapele wood is a subclass of hardwood |
| (documentation SapeleWood EnglishLanguage "SapeleWood is made from logs of Sapele trees.") | Economy.kif 5725-5725 | Sapele wood is a subclass of hardwood |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept SapeleTree SapeleWood) | Geography.kif 8156-8156 | Sapele tree is internally related to Sapele wood |
| (termFormat EnglishLanguage SapeleWood "Sapele wood") | domainEnglishFormat.kif 65443-65443 | Sapele tree is internally related to Sapele wood |
| antecedent |
|
|
| (=> (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 |
|