No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29395-29395 |
13 is an atomic number of aluminum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31125-31125 |
2740.0 Kelvin degree(s) is a boiling point of aluminum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29403-29408 |
2740.0 Kelvin degree(s) is a boiling point of aluminum |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2098-2098 |
2740.0 Kelvin degree(s) is a boiling point of aluminum |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1025-1025 |
2740.0 Kelvin degree(s) is a boiling point of aluminum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31124-31124 |
933.52 Kelvin degree(s) is a melting point of aluminum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29393-29393 |
"Aluminum" has &ames$"name" Aluminum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33408-33408 |
room temperature state aluminum and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29392-29392 |
Aluminum is a subclass of elemental substance |