No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5864-5864 |
CalciumChloride e' uma sub-classe de ChemicalSalt |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5871-5871 |
PotassiumChloride e' uma sub-classe de ChemicalSalt |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8773-8773 |
SodiumChloride e' uma sub-classe de ChemicalSalt |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5875-5875 |
SodiumLactate e' uma sub-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 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 |
|