No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28866-28866 |
atomicNumber Neptunium and 93 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29354-29354 |
boilingPoint Neptunium and 4175.0 KelvinDegree(s) |
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 |
meltingPoint Neptunium and 913.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28864-28864 |
"Neptunium" se chama nome 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 e' uma sub-classe de Substancia Elementar |