No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21584-21584 | Colloid is a subclass of mixture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21599-21599 | Emulsion is a subclass of colloid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21641-21641 | Gel is a subclass of colloid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21653-21653 | 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 |