No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28556-28556 |
76 is an atomic number of osmium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29320-29320 |
5300.0 Kelvin degree(s) is a boiling point of osmium |
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 |
3318.0 Kelvin degree(s) is a melting point of osmium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28554-28554 |
"Osmium" has name 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 is a subclass of elemental substance |