Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Cauliflower(cauliflower)
|  | cauliflower |
| appearance as argument number 1 |
|
|
| (subclass Cauliflower Vegetable) | Economy.kif 4594-4594 | Cauliflower is a subclass of vegetable |
| (documentation Cauliflower EnglishLanguage "Cauliflower is the &Flower part of a kidn or CabbagePlant.") | Economy.kif 4595-4595 | Cauliflower is a subclass of vegetable |
| (externalImage Cauliflower "http://articulatesoftware.com/SUMOpictures/food/ vegetables/ cauliflower/ cauliflower_2.png") | pictureList.kif 329-329 | Cauliflower is a subclass of vegetable |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|