No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27862-27862 |
37 是 銣 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29242-29242 |
測量 961.0 and 凱文度 是 銣 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27870-27874 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1965-1965 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2340-2340 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1240-1240 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29241-29241 |
測量 312.2 and 凱文度 是 銣 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27860-27860 |
名 銣 and "Rubidium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31483-31483 |
roomTempState 銣 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27859-27859 |
子類 銣 and ElementalSubstance |