Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Broccoli(broccoli)
|  | broccoli |
| appearance as argument number 1 |
|
|
| (subclass Broccoli FruitOrVegetable) | Food.kif 2411-2411 | Broccoli is a subclass of fruit or vegetable |
| (documentation Broccoli EnglishLanguage "Broccoli is the folowring head, stalk and small associated leaves eaten as Vegetable. It is classified in the species Brassica oleracea in the cabbage family. [Wikipedia]") | Food.kif 2412-2413 | Broccoli is a subclass of fruit or vegetable |
| (externalImage Broccoli "http://commons.wikimedia.org/wiki/Image:Broccoli_in_a_dish_2.jpg") | Food.kif 2414-2414 | Broccoli is a subclass of fruit or vegetable |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Broccoli "broccoli") | domainEnglishFormat.kif 64573-64573 |
| antecedent |
|
|
| (=> (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 |
|