No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29660-29660 |
29 is an atomic number of copper |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31157-31157 |
2868.0 Kelvin degree(s) is a boiling point of copper |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29668-29671 |
2868.0 Kelvin degree(s) is a boiling point of copper |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 366-366 |
2868.0 Kelvin degree(s) is a boiling point of copper |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1718-1718 |
2868.0 Kelvin degree(s) is a boiling point of copper |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2143-2143 |
2868.0 Kelvin degree(s) is a boiling point of copper |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31156-31156 |
1356.6 Kelvin degree(s) is a melting point of copper |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29658-29658 |
"Copper" has &ames$"name" Copper |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33424-33424 |
room temperature state copper and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29657-29657 |
Copper is a subclass of elemental substance |