No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27332-27332 |
5 is an atomic number of boron |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29190-29190 |
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 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 |
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 27330-27330 |
"Boron" has name 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 is a subclass of elemental substance |