KelvinDegree
(
boilingPoint
Sodium
(
MeasureFn
1165.0
KelvinDegree
))
Mid-level-ontology.kif 29190-29190
boilingPoint
Sodium
and 1165.0
KelvinDegree
(s)
(
boilingPoint
Strontium
(
MeasureFn
1657.0
KelvinDegree
))
Mid-level-ontology.kif 29244-29244
boilingPoint
Strontium
and 1657.0
KelvinDegree
(s)
(
boilingPoint
Sulphur
(
MeasureFn
717.824
KelvinDegree
))
Mid-level-ontology.kif 29200-29200
boilingPoint
Sulphur
and 717.824
KelvinDegree
(s)
(
boilingPoint
Tantalum
(
MeasureFn
5698.0
KelvinDegree
))
Mid-level-ontology.kif 29314-29314
boilingPoint
Tantalum
and 5698.0
KelvinDegree
(s)
(
boilingPoint
Technetium
(
MeasureFn
5303.0
KelvinDegree
))
Mid-level-ontology.kif 29254-29254
boilingPoint
Technetium
and 5303.0
KelvinDegree
(s)
(
boilingPoint
Tellurium
(
MeasureFn
1263.0
KelvinDegree
))
Mid-level-ontology.kif 29272-29272
boilingPoint
Tellurium
and 1263.0
KelvinDegree
(s)
(
boilingPoint
Terbium
(
MeasureFn
3314.0
KelvinDegree
))
Mid-level-ontology.kif 29298-29298
boilingPoint
Terbium
and 3314.0
KelvinDegree
(s)
(
boilingPoint
Thallium
(
MeasureFn
1730.0
KelvinDegree
))
Mid-level-ontology.kif 29330-29330
boilingPoint
Thallium
and 1730.0
KelvinDegree
(s)
(
boilingPoint
Thorium
(
MeasureFn
5060.0
KelvinDegree
))
Mid-level-ontology.kif 29348-29348
boilingPoint
Thorium
and 5060.0
KelvinDegree
(s)
(
boilingPoint
Thulium
(
MeasureFn
2000.0
KelvinDegree
))
Mid-level-ontology.kif 29306-29306
boilingPoint
Thulium
and 2000.0
KelvinDegree
(s)
(
boilingPoint
Tin
(
MeasureFn
2543.0
KelvinDegree
))
Mid-level-ontology.kif 29268-29268
boilingPoint
Tin
and 2543.0
KelvinDegree
(s)
(
boilingPoint
Titanium
(
MeasureFn
3533.0
KelvinDegree
))
Mid-level-ontology.kif 29212-29212
boilingPoint
Titanium
and 3533.0
KelvinDegree
(s)
(
boilingPoint
Tungsten
(
MeasureFn
6200.0
KelvinDegree
))
Mid-level-ontology.kif 29316-29316
boilingPoint
Tungsten
and 6200.0
KelvinDegree
(s)
(
boilingPoint
Uranium
(
MeasureFn
4091.0
KelvinDegree
))
Mid-level-ontology.kif 29352-29352
boilingPoint
Uranium
and 4091.0
KelvinDegree
(s)
(
boilingPoint
Vanadium
(
MeasureFn
3653.0
KelvinDegree
))
Mid-level-ontology.kif 29214-29214
boilingPoint
Vanadium
and 3653.0
KelvinDegree
(s)
(
boilingPoint
Xenon
(
MeasureFn
166.1
KelvinDegree
))
Mid-level-ontology.kif 29276-29276
boilingPoint
Xenon
and 166.1
KelvinDegree
(s)
(
boilingPoint
Ytterbium
(
MeasureFn
1466.0
KelvinDegree
))
Mid-level-ontology.kif 29308-29308
boilingPoint
Ytterbium
and 1466.0
KelvinDegree
(s)
(
boilingPoint
Yttrium
(
MeasureFn
3610.0
KelvinDegree
))
Mid-level-ontology.kif 29246-29246
boilingPoint
Yttrium
and 3610.0
KelvinDegree
(s)
(
boilingPoint
Zinc
(
MeasureFn
1180.0
KelvinDegree
))
Mid-level-ontology.kif 29228-29228
boilingPoint
Zinc
and 1180.0
KelvinDegree
(s)
(
boilingPoint
Zirconium
(
MeasureFn
4650.0
KelvinDegree
))
Mid-level-ontology.kif 29248-29248
boilingPoint
Zirconium
and 4650.0
KelvinDegree
(s)
(
equal
(
MeasureFn
?NUMBER
CelsiusDegree
)
(
MeasureFn
(
SubtractionFn
?NUMBER 273.15)
KelvinDegree
))
Merge.kif 7008-7010
RealNumber
CelsiusDegree
(s) ist gleich (
** RealNumber
und 273.15)
KelvinDegree
(s) %n{nicht}
(
equal
(
MeasureFn
?NUMBER
RankineDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.8)
KelvinDegree
))
Merge.kif 7316-7318
RealNumber
RankineDegree
(s) ist gleich
** RealNumber
und 1.8
KelvinDegree
(s) %n{nicht}
(
meltingPoint
Actinium
(
MeasureFn
1320.0
KelvinDegree
))
Mid-level-ontology.kif 29345-29345
meltingPoint
Actinium
and 1320.0
KelvinDegree
(s)
(
meltingPoint
Aluminum
(
MeasureFn
933.52
KelvinDegree
))
Mid-level-ontology.kif 29193-29193
meltingPoint
Aluminum
and 933.52
KelvinDegree
(s)
(
meltingPoint
Americium
(
MeasureFn
1267.0
KelvinDegree
))
Mid-level-ontology.kif 29357-29357
meltingPoint
Americium
and 1267.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