No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10919-10919 | DistilledAlcoholicBeverage est une sous-classe de AlcoholicBeverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2093-2093 | Aperitif est une sous-classe de DistilledAlcoholicBeverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2643-2643 | Liqueur est une sous-classe de DistilledAlcoholicBeverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3338-3338 | Rum est une sous-classe de DistilledAlcoholicBeverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3494-3494 | Tequila est une sous-classe de DistilledAlcoholicBeverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3584-3584 | Vodka est une sous-classe de DistilledAlcoholicBeverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3606-3606 | Whiskey est une sous-classe de DistilledAlcoholicBeverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3635-3635 | Brandy est une sous-classe de DistilledAlcoholicBeverage |
![]() |