![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Sesame(sesame) | Sesamum_indicum, benne, benni, benny, sesame |
| appearance as argument number 1 |
|
|
| (subclass Sesame Seed) | Food.kif 3426-3426 | Sesame is a subclass of seed |
| (documentation Sesame EnglishLanguage "Sesame is a FloweringPlant in the genus Sesamum.Sesame seed is one of the oldest oilseed crops known, domesticated well over 3,000 years ago. Sesamum has many other species, most being wild and native to sub_Saharan Africa. S. indicum, the cultivated type, originated in India. [wikipedia]") | Food.kif 3427-3430 | Sesame is a subclass of seed |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (equal ?P (PlantFn Sesame)) (subclass ?P HerbaceousPlant)) |
Food.kif 3432-3434 | If equal X and plant fn sesame, then X is a subclass of herbaceous plant |