No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28208-28208 |
57 是 鑭 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29282-29282 |
測量 3727.0 and 凱文度 是 鑭 的 boiling 點 |
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 |
測量 1193.0 and 凱文度 是 鑭 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28206-28206 |
名 鑭 and "Lanthanum" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31503-31503 |
roomTempState 鑭 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28205-28205 |
子類 鑭 and ElementalSubstance |