No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27332-27332 |
atomicNumber Boron and 5 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29190-29190 |
boilingPoint Boron and 2823.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27340-27346 |
|
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 29189-29189 |
meltingPoint Boron and 2573.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27330-27330 |
"Boron" se chama nome Boron |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31454-31454 |
roomTempState Boron and Liquid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27329-27329 |
Boron e' uma sub-classe de Substancia Elementar |