| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21614-21614 | Gel is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3139-3139 | Curd is a subclass of gel |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3259-3259 | Cheese is a subclass of gel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6237-6237 | AloveraGel is a subclass of gel |
|
|