No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28082-28082 |
50 is an atomic number of tin |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29268-29268 |
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 28090-28093 |
|
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 29267-29267 |
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 28080-28080 |
"Tin" has name tin |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31496-31496 |
roomTempState tin and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28079-28079 |
Tin is a subclass of elemental substance |