|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29190-29190 | 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 29244-29244 | 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 29200-29200 | 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 29314-29314 | 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 29254-29254 | 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 29272-29272 | 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 29298-29298 | 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 29330-29330 | 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 29348-29348 | 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 29306-29306 | 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 29268-29268 | 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 29212-29212 | 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 29316-29316 | 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 29352-29352 | 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 29214-29214 | 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 29276-29276 | 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 29308-29308 | 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 29246-29246 | 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 29228-29228 | 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 29248-29248 | 4650.0 Kelvin degree(s) is a boiling point of zirconium |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 316-317 | 25.0 Millimeter(s) is a caliber of GAU12U |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 393-394 | 7.62 Millimeter(s) is a caliber of m240 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 282-283 | 25.0 Millimeter(s) is a caliber of m242 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 497-498 | 12.7 Millimeter(s) is a caliber of m2 browning |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 574-575 | 12.7 Millimeter(s) is a caliber of M3M |
| 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