No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27929-27929 |
41 is an atomic number of niobium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
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 27937-27941 |
|
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 29249-29249 |
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 27927-27927 |
"Niobium" has name niobium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31487-31487 |
roomTempState niobium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27926-27926 |
Niobium is a subclass of elemental substance |