No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5864-5864 |
CalciumChloride est une sous-classe de ChemicalSalt |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5871-5871 |
PotassiumChloride est une sous-classe de ChemicalSalt |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8746-8746 |
SodiumChloride est une sous-classe de ChemicalSalt |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5875-5875 |
SodiumLactate est une sous-classe de ChemicalSalt |
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 50991-50991 |
|
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 50990-50990 |
|
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 50989-50989 |
|