No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27838-27838 |
35 is an atomic number of bromine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
331.93 Kelvin degree(s) is a boiling point of bromine |
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 Kelvin degree(s) is a melting point of bromine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27836-27836 |
"Bromine" has name bromine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31485-31485 |
roomTempState bromine and liquid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27835-27835 |
Bromine is a subclass of elemental substance |