No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | Food is a subclass of self connected object |
No TPTP formula. May not be expressible in strict first order. | Food.kif 291-291 | Meat is a subclass of food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 294-294 | Food from plant is a subclass of food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 308-308 | Prepared food is a subclass of food |