No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28896-28896 |
94 is an atomic number of plutonium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29368-29368 |
3600.0 Kelvin degree(s) is a boiling point of plutonium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28904-28911 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1924-1924 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2314-2314 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1217-1217 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29367-29367 |
914.0 Kelvin degree(s) is a melting point of plutonium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28894-28894 |
"Plutonium" has name plutonium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31544-31544 |
roomTempState plutonium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28893-28893 |
Plutonium is a subclass of elemental substance |