No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27838-27838 |
35 是 溴 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
測量 331.93 and 凱文度 是 溴 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27846-27849 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2123-2123 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1674-1674 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1055-1055 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29249-29249 |
測量 265.9 and 凱文度 是 溴 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27836-27836 |
名 溴 and "Bromine" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31485-31485 |
roomTempState 溴 and 液體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27835-27835 |
子類 溴 and ElementalSubstance |