No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28110-28110 |
atomicNumber Antimony and 51 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29282-29282 |
boilingPoint Antimony and 2023.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28118-28122 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 230-230 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2104-2104 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1642-1642 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29281-29281 |
meltingPoint Antimony and 903.89 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28108-28108 |
"Antimony" s'appele nom Antimony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31501-31501 |
roomTempState Antimony and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28107-28107 |
Antimony est une sous-classe de substance �l�mentaire |