No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28455-28455 |
70 is an atomic number of ytterbium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29308-29308 |
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 28463-28465 |
|
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 29307-29307 |
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 28453-28453 |
"Ytterbium" has name ytterbium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31516-31516 |
roomTempState ytterbium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28452-28452 |
Ytterbium is a subclass of elemental substance |