No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10920-10920 | Distilled alcoholic beverage is a subclass of alcoholic beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2093-2093 | Aperitif is a subclass of distilled alcoholic beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2643-2643 | Liqueur is a subclass of distilled alcoholic beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3338-3338 | Rum is a subclass of distilled alcoholic beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3494-3494 | Tequila is a subclass of distilled alcoholic beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3584-3584 | Vodka is a subclass of distilled alcoholic beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3606-3606 | Whiskey is a subclass of distilled alcoholic beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3635-3635 | Brandy is a subclass of distilled alcoholic beverage |