No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28878-28878 |
93 is an atomic number of neptunium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29366-29366 |
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 28886-28891 |
|
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 29365-29365 |
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 28876-28876 |
"Neptunium" has name neptunium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31543-31543 |
roomTempState neptunium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28875-28875 |
Neptunium is a subclass of elemental substance |