Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TeaPlant
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TeaPlant EvergreenTree) | Economy.kif 5056-5056 | Tea plant is a subclass of evergreen tree |
| (subclass TeaPlant Shrub) | Economy.kif 5057-5057 | Tea plant is a subclass of shrub |
| (relatedInternalConcept TeaPlant TeaTree) | Economy.kif 5060-5060 | Tea plant is internally related to tea tree |
| (documentation TeaPlant EnglishLanguage "TeaPlant, Camellia, is a species of evergreen shrub or small tree in the flowering plant family Theaceae.Its leaves and buds are used to produce Tea. The Japanese tea, kukicha and bocha, are made using stems and twigs.") | Economy.kif 5061-5063 | Tea plant is internally related to tea tree |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TeaPlant "tea plant") | Economy.kif 5058-5058 |
| consequent |
|
|
| (=> (and (equal ?T (OrganicObjectFn ?S)) (subclass ?T TeaPlantAerialPart) (subclass ?S PlantStem)) (initialPart ?S TeaPlant)) |
Economy.kif 5048-5054 | If equal X and Object made from Y, X is a subclass of tea plant aerial part, and Y is a subclass of plant stem, then every Y is initially part of a tea plant |
|