|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29202-29202 | 1165.0 Kelvin degree(s) is a boiling point of sodium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29256-29256 | 1657.0 Kelvin degree(s) is a boiling point of strontium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29212-29212 | 717.824 Kelvin degree(s) is a boiling point of sulphur |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29326-29326 | 5698.0 Kelvin degree(s) is a boiling point of tantalum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29266-29266 | 5303.0 Kelvin degree(s) is a boiling point of technetium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29284-29284 | 1263.0 Kelvin degree(s) is a boiling point of tellurium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29310-29310 | 3314.0 Kelvin degree(s) is a boiling point of terbium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29342-29342 | 1730.0 Kelvin degree(s) is a boiling point of thallium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29360-29360 | 5060.0 Kelvin degree(s) is a boiling point of thorium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29318-29318 | 2000.0 Kelvin degree(s) is a boiling point of thulium |
| 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 29224-29224 | 3533.0 Kelvin degree(s) is a boiling point of titanium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29328-29328 | 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 29364-29364 | 4091.0 Kelvin degree(s) is a boiling point of uranium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29226-29226 | 3653.0 Kelvin degree(s) is a boiling point of vanadium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29288-29288 | 166.1 Kelvin degree(s) is a boiling point of xenon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29320-29320 | 1466.0 Kelvin degree(s) is a boiling point of ytterbium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29258-29258 | 3610.0 Kelvin degree(s) is a boiling point of yttrium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29240-29240 | 1180.0 Kelvin degree(s) is a boiling point of zinc |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29260-29260 | 4650.0 Kelvin degree(s) is a boiling point of zirconium |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7008-7010 | A real number celsius degree(s) is equal to (the real number and 273.15) kelvin degree(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7316-7318 | A real number rankine degree(s) is equal to the real number and 1.8 kelvin degree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29357-29357 | 1320.0 Kelvin degree(s) is a melting point of actinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29205-29205 | 933.52 Kelvin degree(s) is a melting point of aluminum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29369-29369 | 1267.0 Kelvin degree(s) is a melting point of americium |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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