No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28050-28050 |
atomicNumber Cadmium and 48 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29264-29264 |
boilingPoint Cadmium and 1038.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28058-28061 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1683-1683 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29263-29263 |
meltingPoint Cadmium and 594.1 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28048-28048 |
"Cadmium" s'appele nom Cadmium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31494-31494 |
roomTempState Cadmium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28047-28047 |
Cadmium est une sous-classe de substance �l�mentaire |