| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14758-14758 | 混合气体 是 混合物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14753-14753 | 悬挂 是 混合气体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14772-14772 | 云 是 混合气体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14817-14817 | 空气 是 混合气体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7542-7542 | 气溶胶 是 混合气体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 67-67 | FuelVapor 是 混合气体 的 subclass |
|
|