|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29221-29221 | 1812.0 Kelvin degree(s) is a melting point of scandium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29247-29247 | 490.0 Kelvin degree(s) is a melting point of selenium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29207-29207 | 1683.0 Kelvin degree(s) is a melting point of silicon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29273-29273 | 1235.08 Kelvin degree(s) is a melting point of silver |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29201-29201 | 370.95 Kelvin degree(s) is a melting point of sodium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29255-29255 | 1042.0 Kelvin degree(s) is a melting point of strontium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29211-29211 | 386.0 Kelvin degree(s) is a melting point of sulphur |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29325-29325 | 3269.0 Kelvin degree(s) is a melting point of tantalum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29265-29265 | 2445.0 Kelvin degree(s) is a melting point of technetium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29283-29283 | 722.7 Kelvin degree(s) is a melting point of tellurium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29309-29309 | 1633.0 Kelvin degree(s) is a melting point of terbium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29341-29341 | 576.7 Kelvin degree(s) is a melting point of thallium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29359-29359 | 2023.0 Kelvin degree(s) is a melting point of thorium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29317-29317 | 1818.0 Kelvin degree(s) is a melting point of thulium |
| 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 29223-29223 | 1933.0 Kelvin degree(s) is a melting point of titanium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29327-29327 | 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 29363-29363 | 1405.5 Kelvin degree(s) is a melting point of uranium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29225-29225 | 2163.0 Kelvin degree(s) is a melting point of vanadium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29287-29287 | 161.3 Kelvin degree(s) is a melting point of xenon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29319-29319 | 1097.0 Kelvin degree(s) is a melting point of ytterbium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29257-29257 | 1796.0 Kelvin degree(s) is a melting point of yttrium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29239-29239 | 692.73 Kelvin degree(s) is a melting point of zinc |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29259-29259 | 2125.0 Kelvin degree(s) is a melting point of zirconium |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners