| BlueAgave(blue agave) | | Agave_tequilana |
| appearance as argument number 1 |
|
|
| (documentation BlueAgave EnglishLanguage "A succulent that is native to Jalisco, Mexico, and used in the production of Tequila.") | Food.kif 3514-3515 | |
| (subclass BlueAgave Succulent) | Food.kif 3513-3513 | Blue agave is a subclass of succulent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BlueAgave "blue agave") | domainEnglishFormat.kif 64542-64542 |
| consequent |
|
|
| (=> (instance ?T Tequila) (exists (?D ?B) (and (instance ?D Distilling) (instance ?B BlueAgave) (resource ?D ?B) (result ?D ?T)))) |
Food.kif 3504-3511 |
|
|
|
|