No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27896-27896 |
atomicNumber Yttrium and 39 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29246-29246 |
boilingPoint Yttrium and 3610.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27904-27908 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2430-2430 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2068-2068 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1291-1291 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29245-29245 |
meltingPoint Yttrium and 1796.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27894-27894 |
"Yttrium" s'appele nom Yttrium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31485-31485 |
roomTempState Yttrium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27893-27893 |
Yttrium est une sous-classe de substance �l�mentaire |