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. |
Mid-level-ontology.kif 8773-8773 |
子類 鹽 and 鹽 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5875-5875 |
子類 SodiumLactate and 鹽 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14334-14334 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50993-50993 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14333-14333 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50992-50992 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14332-14332 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50991-50991 |
|