No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28344-28344 |
64 是 钆 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29296-29296 |
測量 3506.0 and 凱文度 是 钆 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28352-28356 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1769-1769 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2177-2177 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1118-1118 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29295-29295 |
測量 1584.0 and 凱文度 是 钆 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28342-28342 |
名 钆 and "Gadolinium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31510-31510 |
roomTempState 钆 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28341-28341 |
子類 钆 and ElementalSubstance |