|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29236-29236 | boilingPoint Nickel and 3005.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29262-29262 | boilingPoint Niobium and 5200.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29194-29194 | boilingPoint Nitrogen and 77.4 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29332-29332 | boilingPoint Osmium and 5300.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29196-29196 | boilingPoint Oxygen and 90.188 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29272-29272 | boilingPoint Palladium and 3413.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29210-29210 | boilingPoint Phosphorus and 553.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29336-29336 | boilingPoint Platinum and 4100.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29368-29368 | boilingPoint Plutonium and 3600.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29348-29348 | boilingPoint Polonium and 1235.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29218-29218 | boilingPoint Potassium and 1047.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29298-29298 | boilingPoint Praseodymium and 3485.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29302-29302 | boilingPoint Promethium and 3000.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29362-29362 | boilingPoint Protactinium and 4300.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29356-29356 | boilingPoint Radium and 1413.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29352-29352 | boilingPoint Radon and 211.4 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29330-29330 | boilingPoint Rhenium and 5900.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29270-29270 | boilingPoint Rhodium and 4000.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29254-29254 | boilingPoint Rubidium and 961.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29268-29268 | boilingPoint Ruthenium and 4173.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29304-29304 | boilingPoint Samarium and 2051.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29222-29222 | boilingPoint Scandium and 3105.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29248-29248 | boilingPoint Selenium and 958.1 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29208-29208 | boilingPoint Silicon and 2628.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29274-29274 | boilingPoint Silver and 2485.0 KelvinDegree(s) |
| 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