No TPTP formula. May not be expressible in strict first order. | Food.kif 3606-3606 | Whiskey is a subclass of distilled alcoholic beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2591-2591 | Jamesons whiskey is a subclass of whiskey |