| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14709-14709 | Liquid mixture is a subclass of mixture |
| 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 21627-21627 | Sol mixture is a subclass of liquid mixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14723-14723 | Solution is a subclass of liquid mixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14730-14730 | Suspension is a subclass of liquid mixture |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4324-4324 | Soil solution is a subclass of liquid mixture |
|
|