No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28407-28407 |
atomicNumber Gadolinium and 64 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29359-29359 |
boilingPoint Gadolinium and 3506.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28415-28419 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1769-1769 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2177-2177 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1118-1118 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29358-29358 |
meltingPoint Gadolinium and 1584.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28405-28405 |
"Gadolinium" se chama nome Gadolinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31546-31546 |
roomTempState Gadolinium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28404-28404 |
Gadolinium e' uma sub-classe de Substancia Elementar |