No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21626-21626 | 溶胶 是 胶体 的 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. | Mid-level-ontology.kif 3198-3198 | 涂料 是 溶胶 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21628-21628 | 血液 是 溶胶 的 subclass |