No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27941-27941 |
41 is an atomic number of niobium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29262-29262 |
5200.0 Kelvin degree(s) is a boiling point of niobium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27949-27953 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2267-2267 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1867-1867 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1198-1198 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29261-29261 |
2741.0 Kelvin degree(s) is a melting point of niobium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27939-27939 |
"Niobium" has name niobium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31491-31491 |
roomTempState niobium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27938-27938 |
Niobium is a subclass of elemental substance |