| Tequila(tequila) | | tequila |
| appearance as argument number 1 |
|
|
| (documentation Tequila EnglishLanguage "A DistilledAlcoholicBeverage made from the BlueAgave plant.") | Food.kif 3493-3493 | |
| (roomTempState Tequila Liquid) | Mid-level-ontology.kif 31702-31702 | roomTempState tequila and liquid |
| (subclass Tequila DistilledAlcoholicBeverage) | Food.kif 3494-3494 | Tequila is a subclass of distilled alcoholic beverage |
| appearance as argument number 2 |
|
|
| (subclass PatronTequilla Tequila) | Food.kif 2757-2757 | Patron tequilla is a subclass of tequila |
| (termFormat EnglishLanguage Tequila "tequila") | domainEnglishFormat.kif 65637-65637 | 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 3495-3502 |
|
|
|
|