Tequila - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Tequila EnglishLanguage "A DistilledAlcoholicBeverage made from the BlueAgave plant.")	Food.kif 3530-3530
(subclass Tequila DistilledAlcoholicBeverage)	Food.kif 3531-3531	Tequila is a subclass of distilled alcoholic beverage
(roomTempState Tequila Liquid)	Food.kif 3532-3532	room temperature state tequila and liquid
(subclass Tequila BeverageArtifact)	Society.kif 1219-1219	Tequila is a subclass of BeverageArtifact

appearance as argument number 2

(subclass PatronTequila Tequila)	Food.kif 2785-2785	PatronTequila is a subclass of tequila
(termFormat EnglishLanguage Tequila "tequila")	domainEnglishFormat.kif 65592-65592	PatronTequila 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))))

If X is an instance of tequila, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of blue agave, Z is a resource for Y, and X is a result of Y