No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28508-28508 |
atomicNumber Tantalum and 73 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29314-29314 |
boilingPoint Tantalum and 5698.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28516-28520 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2390-2390 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2014-2014 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1261-1261 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29313-29313 |
meltingPoint Tantalum and 3269.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28506-28506 |
"Tantalum" s'appele nom Tantalum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31519-31519 |
roomTempState Tantalum and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28505-28505 |
Tantalum est une sous-classe de substance �l�mentaire |