|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29190-29190 | boilingPoint Sodium and 1165.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29244-29244 | boilingPoint Strontium and 1657.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29200-29200 | boilingPoint Sulphur and 717.824 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29314-29314 | boilingPoint Tantalum and 5698.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29254-29254 | boilingPoint Technetium and 5303.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29272-29272 | boilingPoint Tellurium and 1263.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29298-29298 | boilingPoint Terbium and 3314.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29330-29330 | boilingPoint Thallium and 1730.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29348-29348 | boilingPoint Thorium and 5060.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29306-29306 | boilingPoint Thulium and 2000.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29268-29268 | boilingPoint Tin and 2543.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29212-29212 | boilingPoint Titanium and 3533.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29316-29316 | boilingPoint Tungsten and 6200.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29352-29352 | boilingPoint Uranium and 4091.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29214-29214 | boilingPoint Vanadium and 3653.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29276-29276 | boilingPoint Xenon and 166.1 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29308-29308 | boilingPoint Ytterbium and 1466.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29246-29246 | boilingPoint Yttrium and 3610.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29228-29228 | boilingPoint Zinc and 1180.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29248-29248 | boilingPoint Zirconium and 4650.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