No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28568-28568 |
76 is an atomic number of osmium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29332-29332 |
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 28576-28577 |
|
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 29331-29331 |
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 28566-28566 |
"Osmium" has name osmium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31526-31526 |
roomTempState osmium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28565-28565 |
Osmium is a subclass of elemental substance |