No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29728-29728 |
33 is an atomic number of arsenic |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31167-31167 |
886.0 Kelvin degree(s) is a boiling point of arsenic |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29736-29739 |
886.0 Kelvin degree(s) is a boiling point of arsenic |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 237-237 |
886.0 Kelvin degree(s) is a boiling point of arsenic |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2106-2106 |
886.0 Kelvin degree(s) is a boiling point of arsenic |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1644-1644 |
886.0 Kelvin degree(s) is a boiling point of arsenic |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31166-31166 |
886.0 Kelvin degree(s) is a melting point of arsenic |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29726-29726 |
"Arsenic" has &ames$"name" Arsenic |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33430-33430 |
room temperature state arsenic and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29725-29725 |
Arsenic is a subclass of elemental substance |