No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5864-5864 |
CalciumChloride is a subclass of salt |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5871-5871 |
PotassiumChloride is a subclass of salt |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8745-8745 |
Salt is a subclass of salt |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5875-5875 |
SodiumLactate is a subclass of salt |
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 |
|