| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14736-14736 | Gas mixture is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14731-14731 | Suspension is a subclass of gas mixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14750-14750 | Cloud is a subclass of gas mixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14795-14795 | Air is a subclass of gas mixture |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7542-7542 | Aerosal is a subclass of gas mixture |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 67-67 | Fuel vapor is a subclass of gas mixture |
|
|