No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28929-28929 |
93 is an atomic number of neptunium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29417-29417 |
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 28937-28942 |
|
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 29416-29416 |
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 28927-28927 |
"Neptunium" has name neptunium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31575-31575 |
roomTempState neptunium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28926-28926 |
Neptunium is a subclass of elemental substance |