| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10920-10920 | DistilledAlcoholicBeverage e' uma sub-classe de AlcoholicBeverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2093-2093 | Aperitif e' uma sub-classe de DistilledAlcoholicBeverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2643-2643 | Liqueur e' uma sub-classe de DistilledAlcoholicBeverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3338-3338 | Rum e' uma sub-classe de DistilledAlcoholicBeverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3494-3494 | Tequila e' uma sub-classe de DistilledAlcoholicBeverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3584-3584 | Vodka e' uma sub-classe de DistilledAlcoholicBeverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3606-3606 | Whiskey e' uma sub-classe de DistilledAlcoholicBeverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3635-3635 | Brandy e' uma sub-classe de DistilledAlcoholicBeverage |
|
|