No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28271-28271 |
57 是 鑭 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29345-29345 |
測量 3727.0 and 凱文度 是 鑭 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28279-28286 |
|
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 29344-29344 |
測量 1193.0 and 凱文度 是 鑭 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28269-28269 |
名 鑭 and "Lanthanum" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31539-31539 |
roomTempState 鑭 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28268-28268 |
子類 鑭 and ElementalSubstance |