| Tequila(tequila) | | tequila |
| appearance as argument number 1 |
|
|
| (documentation Tequila EnglishLanguage "A DistilledAlcoholicBeverage made from the BlueAgave plant.") | Food.kif 3500-3500 | |
| (roomTempState Tequila Liquid) | Mid-level-ontology.kif 33141-33141 | room temperature state tequila and liquid |
| (subclass Tequila DistilledAlcoholicBeverage) | Food.kif 3501-3501 | Tequila is a subclass of distilled alcoholic beverage |
| appearance as argument number 2 |
|
|
| (subclass PatronTequilla Tequila) | Food.kif 2764-2764 | Patron tequilla is a subclass of tequila |
| (termFormat EnglishLanguage Tequila "tequila") | domainEnglishFormat.kif 65612-65612 | Patron tequilla is a subclass of tequila |
| antecedent |
|
|
| (=> (instance ?T Tequila) (exists (?D ?B) (and (instance ?D Distilling) (instance ?B BlueAgave) (resource ?D ?B) (result ?D ?T)))) |
Food.kif 3502-3509 |
|
|
|
|