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. | Merge.kif 14731-14731 | Suspension is a subclass of gas mixture |