No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28533-28533 |
71 是 鎦 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29373-29373 |
測量 3588.0 and 凱文度 是 鎦 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28541-28550 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1838-1838 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2249-2249 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1161-1161 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29372-29372 |
測量 1929.0 and 凱文度 是 鎦 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28531-28531 |
名 鎦 and "Lutetium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31553-31553 |
roomTempState 鎦 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28530-28530 |
子類 鎦 and ElementalSubstance |