DistilledAlcoholicBeverage(distilled alcoholic beverage) | John_Barleycorn, akvavit, applejack, aqua_vitae, aquavit, arak, ardent_spirits, arrack, bitters, bootleg, booze, corn_liquor, eau_de_vie, ethyl_alcohol, firewater, ginger_beer, grog, hard_drink, hard_liquor, kirsch, lacing, liquor, malt, malt_liquor, marc, mead, mescal, metheglin, moonshine, near_beer, neutral_spirits, ouzo, pulque, spirits, strong_drink |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10921-10923 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31424-31424 | roomTempState distilled alcoholic beverage and liquid |
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 |
appearance as argument number 2 |
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 3635-3635 | Brandy 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. | domainEnglishFormat.kif 19944-19944 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19943-19943 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19942-19942 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10925-10932 |
|