No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28094-28094 |
50 is an atomic number of tin |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29280-29280 |
2543.0 Kelvin degree(s) is a boiling point of tin |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28102-28105 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2035-2035 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2406-2406 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1269-1269 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29279-29279 |
505.118 Kelvin degree(s) is a melting point of tin |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28092-28092 |
"Tin" has name tin |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31500-31500 |
roomTempState tin and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28091-28091 |
Tin is a subclass of elemental substance |