No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21572-21572 | Emulsion is a subclass of colloid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21573-21573 | Emulsion is a subclass of liquid mixture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21610-21610 | Latex is a subclass of emulsion |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3097-3097 | Butter is a subclass of emulsion |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3152-3152 | Fermented milk product is a subclass of emulsion |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3173-3173 | Yogurt is a subclass of emulsion |