No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28178-28178 |
55 是 銫 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29290-29290 |
測量 963.0 and 凱文度 是 銫 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28186-28199 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1684-1684 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29289-29289 |
測量 301.55 and 凱文度 是 銫 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28176-28176 |
名 銫 and "Caesium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31505-31505 |
roomTempState 銫 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28175-28175 |
子類 銫 and ElementalSubstance |