No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28166-28166 |
55 是 銫 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29278-29278 |
測量 963.0 and 凱文度 是 銫 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28174-28187 |
|
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 29277-29277 |
測量 301.55 and 凱文度 是 銫 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28164-28164 |
名 銫 and "Caesium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31501-31501 |
roomTempState 銫 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28163-28163 |
子類 銫 and ElementalSubstance |