No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27320-27320 |
5 is an atomic number of boron |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29178-29178 |
2823.0 Kelvin degree(s) is a boiling point of boron |
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 |
2573.0 Kelvin degree(s) is a melting point of boron |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27318-27318 |
"Boron" has name 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 is a subclass of elemental substance |