| 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 3505-3506 | |
| (subclass BlueAgave Succulent) | Food.kif 3504-3504 | Blue agave is a subclass of succulent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BlueAgave "blue agave") | domainEnglishFormat.kif 64597-64597 |
| consequent |
|
|
| (=> (instance ?T Tequila) (exists (?D ?B) (and (instance ?D Distilling) (instance ?B BlueAgave) (resource ?D ?B) (result ?D ?T)))) |
Food.kif 3495-3502 |
|
|
|
|