| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14709-14709 | 液体混合物 是 混合物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21573-21573 | 乳胶 是 液体混合物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21627-21627 | 溶胶 是 液体混合物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14723-14723 | 溶液 是 液体混合物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14730-14730 | 悬挂 是 液体混合物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4324-4324 | 土壤溶液 是 液体混合物 的 subclass |
|
|