| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28220-28220 |
57 是 镧 的 atomic 数字 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29294-29294 |
3727.0 凯文度 是 镧 的 boiling 点 |
| 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 凯文度 是 镧 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28218-28218 |
"Lanthanum" 的名 是 镧 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31507-31507 |
roomTempState 镧 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28217-28217 |
镧 是 元素物质 的 subclass |
