No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28553-28553 |
75 is an atomic number of rhenium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29330-29330 |
5900.0 Kelvin degree(s) is a boiling point of rhenium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28561-28563 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1956-1956 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2336-2336 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1234-1234 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29329-29329 |
3453.0 Kelvin degree(s) is a melting point of rhenium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28551-28551 |
"Rhenium" has name rhenium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31525-31525 |
roomTempState rhenium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28550-28550 |
Rhenium is a subclass of elemental substance |