No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8742-8742 | 盐 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8746-8746 | 盐 是 盐 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5864-5864 | CalciumChloride 是 盐 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5871-5871 | PotassiumChloride 是 盐 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5875-5875 | SodiumLactate 是 盐 的 subclass |