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 2059-2059 | Absolut is a subclass of vodka |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3478-3478 | Stolichnoya is a subclass of vodka |