No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30029-30029 |
51 is an atomic number of antimony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31201-31201 |
2023.0 Kelvin degree(s) is a boiling point of antimony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30037-30041 |
2023.0 Kelvin degree(s) is a boiling point of antimony |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 230-230 |
2023.0 Kelvin degree(s) is a boiling point of antimony |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2103-2103 |
2023.0 Kelvin degree(s) is a boiling point of antimony |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1641-1641 |
2023.0 Kelvin degree(s) is a boiling point of antimony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31200-31200 |
903.89 Kelvin degree(s) is a melting point of antimony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30027-30027 |
"Antimony" has &ames$"name" Antimony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33446-33446 |
room temperature state antimony and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30026-30026 |
Antimony is a subclass of elemental substance |