|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29224-29224 | boilingPoint Nickel and 3005.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29250-29250 | boilingPoint Niobium and 5200.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29182-29182 | boilingPoint Nitrogen and 77.4 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29320-29320 | boilingPoint Osmium and 5300.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29184-29184 | boilingPoint Oxygen and 90.188 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29260-29260 | boilingPoint Palladium and 3413.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29198-29198 | boilingPoint Phosphorus and 553.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29324-29324 | boilingPoint Platinum and 4100.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29356-29356 | boilingPoint Plutonium and 3600.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29336-29336 | boilingPoint Polonium and 1235.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29206-29206 | boilingPoint Potassium and 1047.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29286-29286 | boilingPoint Praseodymium and 3485.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29290-29290 | boilingPoint Promethium and 3000.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29350-29350 | boilingPoint Protactinium and 4300.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29344-29344 | boilingPoint Radium and 1413.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29340-29340 | boilingPoint Radon and 211.4 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29318-29318 | boilingPoint Rhenium and 5900.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29258-29258 | boilingPoint Rhodium and 4000.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29242-29242 | boilingPoint Rubidium and 961.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29256-29256 | boilingPoint Ruthenium and 4173.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29292-29292 | boilingPoint Samarium and 2051.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29210-29210 | boilingPoint Scandium and 3105.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29236-29236 | boilingPoint Selenium and 958.1 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29196-29196 | boilingPoint Silicon and 2628.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29262-29262 | 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