No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27320-27320 |
atomicNumber Boron and 5 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29178-29178 |
boilingPoint Boron and 2823.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27328-27334 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1672-1672 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1053-1053 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29177-29177 |
meltingPoint Boron and 2573.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27318-27318 |
"Boron" se chama nome Boron |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31450-31450 |
roomTempState Boron and Liquid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27317-27317 |
Boron e' uma sub-classe de Substancia Elementar |