| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21556-21556 | Colloid is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21571-21571 | Emulsion is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21613-21613 | Gel is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21625-21625 | Sol mixture is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7543-7543 | Aerosal is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 390-390 | Beverage is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1749-1749 | Jam is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2062-2062 | Sauce is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2595-2595 | Juice is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3145-3145 | Whey is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3167-3167 | Buttermilk is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3432-3432 | Soda is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3565-3565 | Vinegar is a subclass of colloid |
|
|