No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29251-29251 |
5 is an atomic number of boron |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31109-31109 |
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 29259-29265 |
2823.0 Kelvin degree(s) is a boiling point of boron |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1671-1671 |
2823.0 Kelvin degree(s) is a boiling point of boron |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1053-1053 |
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 31108-31108 |
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 29249-29249 |
"Boron" has &ames$"name" Boron |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33399-33399 |
room temperature state boron and liquid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29248-29248 |
Boron is a subclass of elemental substance |