No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28588-28588 |
74 is an atomic number of tungsten |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29379-29379 |
6200.0 Kelvin degree(s) is a boiling point of tungsten |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28596-28599 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2046-2046 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2416-2416 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1275-1275 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29378-29378 |
3680.0 Kelvin degree(s) is a melting point of tungsten |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28586-28586 |
"Tungsten" has name tungsten |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31556-31556 |
roomTempState tungsten and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28585-28585 |
Tungsten is a subclass of elemental substance |