No TPTP formula. May not be expressible in strict first order. | Food.kif 2093-2093 | Aperitif is a subclass of distilled alcoholic beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2417-2417 | Campari is a subclass of aperitif |