No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27958-27958 |
42 is an atomic number of molybdenum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29264-29264 |
5833.0 Kelvin degree(s) is a boiling point of molybdenum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27966-27976 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2258-2258 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1851-1851 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1189-1189 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29263-29263 |
2890.0 Kelvin degree(s) is a melting point of molybdenum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27956-27956 |
"Molybdenum" has name molybdenum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31492-31492 |
roomTempState molybdenum and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27955-27955 |
Molybdenum is a subclass of elemental substance |