No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27838-27838 |
atomicNumber Bromine and 35 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
boilingPoint Bromine and 331.93 KelvinDegree(s) |
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 |
meltingPoint Bromine and 265.9 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27836-27836 |
"Bromine" se chama nome 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 e' uma sub-classe de Substancia Elementar |