| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8742-8742 | 子類 鹽 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8746-8746 | 子類 鹽 and 鹽 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5864-5864 | 子類 CalciumChloride and 鹽 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5871-5871 | 子類 PotassiumChloride and 鹽 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5875-5875 | 子類 SodiumLactate and 鹽 |
|
|