| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14896-14896 | Comida e' uma sub-classe de Objeto auto-conectado |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 291-291 | Carne e' uma sub-classe de Comida |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 294-294 | FoodFromPlant e' uma sub-classe de Comida |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 308-308 | PreparedFood e' uma sub-classe de Comida |
|
|