No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28115-28115 |
atomicNumber Tellurium and 52 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29272-29272 |
boilingPoint Tellurium and 1263.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28123-28126 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2393-2393 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2023-2023 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1265-1265 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29271-29271 |
meltingPoint Tellurium and 722.7 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28113-28113 |
"Tellurium" s'appele nom Tellurium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31498-31498 |
roomTempState Tellurium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28112-28112 |
Tellurium est une sous-classe de substance �l�mentaire |