KelvinDegree(kelvin degree) |
![]() |
(boilingPoint Sodium (MeasureFn 1165.0 KelvinDegree)) |
Mid-level-ontology.kif 29190-29190 | 1165.0 Kelvin degree(s) is a boiling point of sodium |
(boilingPoint Strontium (MeasureFn 1657.0 KelvinDegree)) |
Mid-level-ontology.kif 29244-29244 | 1657.0 Kelvin degree(s) is a boiling point of strontium |
(boilingPoint Sulphur (MeasureFn 717.824 KelvinDegree)) |
Mid-level-ontology.kif 29200-29200 | 717.824 Kelvin degree(s) is a boiling point of sulphur |
(boilingPoint Tantalum (MeasureFn 5698.0 KelvinDegree)) |
Mid-level-ontology.kif 29314-29314 | 5698.0 Kelvin degree(s) is a boiling point of tantalum |
(boilingPoint Technetium (MeasureFn 5303.0 KelvinDegree)) |
Mid-level-ontology.kif 29254-29254 | 5303.0 Kelvin degree(s) is a boiling point of technetium |
(boilingPoint Tellurium (MeasureFn 1263.0 KelvinDegree)) |
Mid-level-ontology.kif 29272-29272 | 1263.0 Kelvin degree(s) is a boiling point of tellurium |
(boilingPoint Terbium (MeasureFn 3314.0 KelvinDegree)) |
Mid-level-ontology.kif 29298-29298 | 3314.0 Kelvin degree(s) is a boiling point of terbium |
(boilingPoint Thallium (MeasureFn 1730.0 KelvinDegree)) |
Mid-level-ontology.kif 29330-29330 | 1730.0 Kelvin degree(s) is a boiling point of thallium |
(boilingPoint Thorium (MeasureFn 5060.0 KelvinDegree)) |
Mid-level-ontology.kif 29348-29348 | 5060.0 Kelvin degree(s) is a boiling point of thorium |
(boilingPoint Thulium (MeasureFn 2000.0 KelvinDegree)) |
Mid-level-ontology.kif 29306-29306 | 2000.0 Kelvin degree(s) is a boiling point of thulium |
(boilingPoint Tin (MeasureFn 2543.0 KelvinDegree)) |
Mid-level-ontology.kif 29268-29268 | 2543.0 Kelvin degree(s) is a boiling point of tin |
(boilingPoint Titanium (MeasureFn 3533.0 KelvinDegree)) |
Mid-level-ontology.kif 29212-29212 | 3533.0 Kelvin degree(s) is a boiling point of titanium |
(boilingPoint Tungsten (MeasureFn 6200.0 KelvinDegree)) |
Mid-level-ontology.kif 29316-29316 | 6200.0 Kelvin degree(s) is a boiling point of tungsten |
(boilingPoint Uranium (MeasureFn 4091.0 KelvinDegree)) |
Mid-level-ontology.kif 29352-29352 | 4091.0 Kelvin degree(s) is a boiling point of uranium |
(boilingPoint Vanadium (MeasureFn 3653.0 KelvinDegree)) |
Mid-level-ontology.kif 29214-29214 | 3653.0 Kelvin degree(s) is a boiling point of vanadium |
(boilingPoint Xenon (MeasureFn 166.1 KelvinDegree)) |
Mid-level-ontology.kif 29276-29276 | 166.1 Kelvin degree(s) is a boiling point of xenon |
(boilingPoint Ytterbium (MeasureFn 1466.0 KelvinDegree)) |
Mid-level-ontology.kif 29308-29308 | 1466.0 Kelvin degree(s) is a boiling point of ytterbium |
(boilingPoint Yttrium (MeasureFn 3610.0 KelvinDegree)) |
Mid-level-ontology.kif 29246-29246 | 3610.0 Kelvin degree(s) is a boiling point of yttrium |
(boilingPoint Zinc (MeasureFn 1180.0 KelvinDegree)) |
Mid-level-ontology.kif 29228-29228 | 1180.0 Kelvin degree(s) is a boiling point of zinc |
(boilingPoint Zirconium (MeasureFn 4650.0 KelvinDegree)) |
Mid-level-ontology.kif 29248-29248 | 4650.0 Kelvin degree(s) is a boiling point of zirconium |
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (SubtractionFn ?NUMBER 273.15) KelvinDegree)) |
Merge.kif 7008-7010 | A real number celsius degree(s) is equal to (the real number and 273.15) kelvin degree(s) |
(equal (MeasureFn ?NUMBER RankineDegree) (MeasureFn (MultiplicationFn ?NUMBER 1.8) KelvinDegree)) |
Merge.kif 7316-7318 | A real number rankine degree(s) is equal to the real number and 1.8 kelvin degree(s) |
(meltingPoint Actinium (MeasureFn 1320.0 KelvinDegree)) |
Mid-level-ontology.kif 29345-29345 | 1320.0 Kelvin degree(s) is a melting point of actinium |
(meltingPoint Aluminum (MeasureFn 933.52 KelvinDegree)) |
Mid-level-ontology.kif 29193-29193 | 933.52 Kelvin degree(s) is a melting point of aluminum |
(meltingPoint Americium (MeasureFn 1267.0 KelvinDegree)) |
Mid-level-ontology.kif 29357-29357 | 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 |
![]() |