No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28556-28556 |
atomicNumber Osmium and 76 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29320-29320 |
boilingPoint Osmium and 5300.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28564-28565 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1883-1883 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29319-29319 |
meltingPoint Osmium and 3318.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28554-28554 |
"Osmium" se chama nome Osmium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31522-31522 |
roomTempState Osmium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28553-28553 |
Osmium e' uma sub-classe de Substancia Elementar |