No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28525-28525 |
atomicNumber Tungsten and 74 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29316-29316 |
boilingPoint Tungsten and 6200.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28533-28536 |
|
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 29315-29315 |
meltingPoint Tungsten and 3680.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28523-28523 |
"Tungsten" s'appele nom Tungsten |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31520-31520 |
roomTempState Tungsten and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28522-28522 |
Tungsten est une sous-classe de substance �l�mentaire |