No TPTP formula. May not be expressible in strict first order. | Food.kif 1555-1555 | Bread or biscuit is a subclass of prepared food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2143-2143 | Bagel is a subclass of bread or biscuit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2715-2715 | Pancake is a subclass of bread or biscuit |