No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28467-28467 |
70 is an atomic number of ytterbium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29320-29320 |
1466.0 Kelvin degree(s) is a boiling point of ytterbium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28475-28477 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2067-2067 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2429-2429 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1290-1290 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29319-29319 |
1097.0 Kelvin degree(s) is a melting point of ytterbium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28465-28465 |
"Ytterbium" has name ytterbium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31520-31520 |
roomTempState ytterbium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28464-28464 |
Ytterbium is a subclass of elemental substance |