No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28287-28287 |
61 是 钷 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29290-29290 |
測量 3000.0 and 凱文度 是 钷 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28295-28302 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1936-1936 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29289-29289 |
測量 1353.0 and 凱文度 是 钷 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28285-28285 |
名 钷 and "Promethium" |
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 28284-28284 |
子類 钷 and ElementalSubstance |