No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28208-28208 |
atomicNumber Lanthanum and 57 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29282-29282 |
boilingPoint Lanthanum and 3727.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28216-28223 |
|
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 29281-29281 |
meltingPoint Lanthanum and 1193.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28206-28206 |
"Lanthanum" se chama nome Lanthanum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31503-31503 |
roomTempState Lanthanum and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28205-28205 |
Lanthanum e' uma sub-classe de Substancia Elementar |