No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28866-28866 |
93 is an atomic number of neptunium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29354-29354 |
4175.0 Kelvin degree(s) is a boiling point of neptunium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28874-28879 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1865-1865 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29353-29353 |
913.0 Kelvin degree(s) is a melting point of neptunium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28864-28864 |
"Neptunium" has name neptunium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31539-31539 |
roomTempState neptunium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28863-28863 |
Neptunium is a subclass of elemental substance |