No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28220-28220 |
57 is an atomic number of lanthanum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29294-29294 |
3727.0 Kelvin degree(s) is a boiling point of lanthanum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28228-28235 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2245-2245 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1830-1830 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1153-1153 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29293-29293 |
1193.0 Kelvin degree(s) is a melting point of lanthanum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28218-28218 |
"Lanthanum" has name lanthanum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31507-31507 |
roomTempState lanthanum and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28217-28217 |
Lanthanum is a subclass of elemental substance |