DistilledAlcoholicBeverage
|
|
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 |
|