No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28307-28307 |
atomicNumber Samarium and 62 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29292-29292 |
boilingPoint Samarium and 2051.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28315-28323 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1968-1968 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2343-2343 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1243-1243 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29291-29291 |
meltingPoint Samarium and 1345.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28305-28305 |
"Samarium" s'appele nom Samarium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31508-31508 |
roomTempState Samarium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28304-28304 |
Samarium est une sous-classe de substance �l�mentaire |