No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28588-28588 |
atomicNumber Tungsten and 74 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29379-29379 |
boilingPoint Tungsten and 6200.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28596-28599 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2046-2046 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2416-2416 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1275-1275 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29378-29378 |
meltingPoint Tungsten and 3680.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28586-28586 |
"Tungsten" s'appele nom Tungsten |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31556-31556 |
roomTempState Tungsten and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28585-28585 |
Tungsten est une sous-classe de substance �l�mentaire |