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 21600-21600 | Emulsion is a subclass of liquid mixture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21637-21637 | 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 |