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 2091-2091 | Amaretto est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2145-2145 | Baileys est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2431-2431 | Chambord est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2538-2538 | Cointreau est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2612-2612 | Kahlua est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2653-2653 | GrandMarnier est une sous-classe de Liqueur |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3367-3367 | Schnapps est une sous-classe de Liqueur |
![]() |