No TPTP formula. May not be expressible in strict first order. | Food.kif 3584-3584 | 子類 Vodka and 蒸餾酒精飲料 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2059-2059 | 子類 Absolut and Vodka |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3478-3478 | 子類 Stolichnoya and Vodka |