| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21613-21613 | Gel e' uma sub-classe de Colloid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3139-3139 | Curd e' uma sub-classe de Gel |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3259-3259 | Cheese e' uma sub-classe de Gel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6237-6237 | AloveraGel e' uma sub-classe de Gel |
|
|