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