|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29209-29209 | meltingPoint Scandium and 1812.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29235-29235 | meltingPoint Selenium and 490.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29195-29195 | meltingPoint Silicon and 1683.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29261-29261 | meltingPoint Silver and 1235.08 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29189-29189 | meltingPoint Sodium and 370.95 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29243-29243 | meltingPoint Strontium and 1042.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29199-29199 | meltingPoint Sulphur and 386.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29313-29313 | meltingPoint Tantalum and 3269.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29253-29253 | meltingPoint Technetium and 2445.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29271-29271 | meltingPoint Tellurium and 722.7 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29297-29297 | meltingPoint Terbium and 1633.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29329-29329 | meltingPoint Thallium and 576.7 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29347-29347 | meltingPoint Thorium and 2023.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29305-29305 | meltingPoint Thulium and 1818.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29267-29267 | meltingPoint Tin and 505.118 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29211-29211 | meltingPoint Titanium and 1933.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29315-29315 | meltingPoint Tungsten and 3680.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29351-29351 | meltingPoint Uranium and 1405.5 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29213-29213 | meltingPoint Vanadium and 2163.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29275-29275 | meltingPoint Xenon and 161.3 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29307-29307 | meltingPoint Ytterbium and 1097.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29245-29245 | meltingPoint Yttrium and 1796.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29227-29227 | meltingPoint Zinc and 692.73 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29247-29247 | meltingPoint Zirconium and 2125.0 KelvinDegree(s) |
|
|
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