No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28361-28361 |
atomicNumber Terbium and 65 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29298-29298 |
boilingPoint Terbium and 3314.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28369-28371 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2396-2396 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2025-2025 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1266-1266 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29297-29297 |
meltingPoint Terbium and 1633.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28359-28359 |
"Terbium" s'appele nom Terbium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31511-31511 |
roomTempState Terbium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28358-28358 |
Terbium est une sous-classe de substance �l�mentaire |