No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27826-27826 |
atomicNumber Bromine and 35 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29238-29238 |
boilingPoint Bromine and 331.93 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27834-27837 |
|
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 29237-29237 |
meltingPoint Bromine and 265.9 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27824-27824 |
"Bromine" s'appele nom Bromine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31481-31481 |
roomTempState Bromine and Liquid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27823-27823 |
Bromine est une sous-classe de substance �l�mentaire |