Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CabbagePlant
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CabbagePlant HerbaceousPlant) | Economy.kif 4589-4589 | Cabbage plant is a subclass of herbaceous plant |
| (documentation CabbagePlant EnglishLanguage "CabbagePlant is generic name for several types of Barassica oleracea.") | Economy.kif 4590-4591 | Cabbage plant is a subclass of herbaceous plant |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CabbagePlant "cabbage plant") | Economy.kif 4592-4592 |
| consequent |
|
|
| (=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS Cabbage)) (initialPart ?CLASS CabbagePlant)) |
Economy.kif 4571-4575 | If X is a subclass of plant leaf and equal X and cabbage, then every X is initially part of a cabbage plant |
| (=> (and (subclass ?CLASS Flower) (equal ?CLASS Cauliflower)) (initialPart ?CLASS CabbagePlant)) |
Economy.kif 4597-4601 | If X is a subclass of flower and equal X and cauliflower, then every X is initially part of a cabbage plant |
| (=> (equal ?P (PlantFn Broccoli)) (subclass ?P CabbagePlant)) |
Food.kif 2416-2418 | If equal X and plant fn broccoli, then X is a subclass of cabbage plant |
|