| No TPTP formula. May not be expressible in strict first order. | Food.kif 3584-3584 | Vodka e' uma sub-classe de DistilledAlcoholicBeverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2059-2059 | Absolut e' uma sub-classe de Vodka |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3478-3478 | Stolichnoya e' uma sub-classe de Vodka |
|
|