![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Mayotte
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TeaPlantAerialPart FruitOrVegetable) | Economy.kif 5039-5039 | Tea plant aerial part is a subclass of fruit or vegetable |
| (subclass TeaPlantAerialPart PlantSubstance) | Economy.kif 5040-5040 | Tea plant aerial part is a subclass of plant substance |
| (documentation TeaPlantAerialPart EnglishLanguage "TeaPlantAerialPart is the class of all parts of the tea plant from which tea may be made, including leaves, stems, and twigs.") | Economy.kif 5041-5043 | Tea plant aerial part is a subclass of plant substance |
| (externalImage TeaPlantAerialPart "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 71/ Csinensis.jpg/ 800px_Csinensis.jpg") | pictureList.kif 1461-1461 | Tea plant aerial part is a subclass of plant substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |