Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KelvinDegree
KelvinDegree(kelvin degree)K, Kelvin_scale, absolute_scale, kelvin, kelvin_degree

appearance as argument number 1
-------------------------


s__documentation(s__KelvinDegree,s__ChineseLanguage,'这是一个国际单位制的 UnitOfMeasure,它和 MeasureFn 一起应用,来产生用来表示 TemperatureMeasure 实例的用语,符号:K。这是国际单位制中的一个 基本单位,(它也是智能运输系统的一个单位)。开尔文和摄氏的分别在于水的三相點定義為273.16 KelvinDegree, 而摄氏度则为 0 CelsiusDegree,两个温度单位中的间隔大小相同。按照定义,转换常数为273.15。')

Merge.kif 6961-6964
s__documentation(s__KelvinDegree,s__EnglishLanguage,'SI UnitOfMeasure used with MeasureFn to produce terms denoting instances of TemperatureMeasure. Symbol: K. It is one of the base units in SI (it is also a unit in the ITS system). Kelvin differs from the Celsius scale in that the triple point of water is defined to be 273.16 KelvinDegrees while it is 0 CelsiusDegrees. The magnitudes of intervals in the two scales are the same. By definition the conversion constant is 273.15.')

Merge.kif 6953-6960
s__instance(s__KelvinDegree,s__SystemeInternationalUnit)

s__instance(s__SystemeInternationalUnit,s__SetOrClass)

Merge.kif 6952-6952 Kelvin degree is an instance of systeme international unit
s__instance(s__UnitOfTemperature,s__SetOrClass)

s__instance(s__KelvinDegree,s__UnitOfTemperature)

Merge.kif 6951-6951 Kelvin degree is an instance of UnitOfTemperature

appearance as argument number 2
-------------------------


s__termFormat(s__EnglishLanguage,s__KelvinDegree,'kelvin degree')

domainEnglishFormat.kif 5800-5800 "kelvin degree" is the printable form of kelvin degree in english language

antecedent
-------------------------


( ! [V__PRES,V__X,V__BOIL,V__Y,V__TEMP] :
   ((s__instance(V__PRES,s__RealNumber)s__and__ms__instance(V__X,s__Object)s__and__ms__instance(V__BOIL,s__RealNumber)s__and__ms__subclass(V__Y,s__PureSubstance)s__and__ms__instance(V__Y,s__SetOrClass)s__and__ms__instance(V__TEMP,s__RealNumber))
    s__=>((s__instance(V__X,V__Y)
      s__and__ms__subclass(V__Y,s__PureSubstance)s__and__ms__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury))
    s__and__ms__greaterThan(29.92,V__PRES)
  s__and__ms__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree))
s__and__ms__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
s__and__ms__greaterThan(V__TEMP,V__BOIL))
s__=>s__attribute(V__X,s__Gas)))
)

Merge.kif 13787-13796
( ! [V__MELT,V__X,V__BOIL,V__Y,V__TEMP] :
   ((s__instance(V__MELT,s__RealNumber)s__and__ms__instance(V__X,s__Object)s__and__ms__instance(V__BOIL,s__RealNumber)s__and__ms__subclass(V__Y,s__PureSubstance)s__and__ms__instance(V__Y,s__SetOrClass)s__and__ms__instance(V__TEMP,s__RealNumber))
    s__=>((s__instance(V__X,V__Y)
      s__and__ms__subclass(V__Y,s__PureSubstance)s__and__ms__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree))
    s__and__ms__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))
  s__and__ms__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
s__and__ms__greaterThan(V__TEMP,V__MELT)
s__and__ms__lessThan(V__TEMP,V__BOIL))
s__=>s__attribute(V__X,s__Liquid)))
)

Merge.kif 13798-13807
( ! [V__PRES,V__MELT,V__X,V__Y,V__TEMP] :
   ((s__instance(V__PRES,s__RealNumber)s__and__ms__instance(V__MELT,s__RealNumber)s__and__ms__instance(V__X,s__Object)s__and__ms__subclass(V__Y,s__PureSubstance)s__and__ms__instance(V__Y,s__SetOrClass)s__and__ms__instance(V__TEMP,s__RealNumber))
    s__=>((s__instance(V__X,V__Y)
      s__and__ms__subclass(V__Y,s__PureSubstance)s__and__ms__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))
    s__and__ms__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury))
  s__and__ms__greaterThan(V__PRES,29.92)
s__and__ms__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
s__and__ms__lessThan(V__TEMP,V__MELT))
s__=>s__attribute(V__X,s__Solid)))
)

Merge.kif 13809-13818

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1086-1096 An entity is an instance of region and the entity has an attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position

statement
-------------------------


s__boilingPoint(s__Actinium,s__MeasureFn(3470,s__KelvinDegree))

Mid-level-ontology.kif 27511-27511 3470 Kelvin degree(s) is a boiling point of actinium
s__boilingPoint(s__Aluminum,s__MeasureFn(2740,s__KelvinDegree))

Mid-level-ontology.kif 27359-27359 2740 Kelvin degree(s) is a boiling point of aluminum
s__boilingPoint(s__Americium,s__MeasureFn(2880,s__KelvinDegree))

Mid-level-ontology.kif 27523-27523 2880 Kelvin degree(s) is a boiling point of americium
s__boilingPoint(s__Antimony,s__MeasureFn(2023,s__KelvinDegree))

Mid-level-ontology.kif 27435-27435 2023 Kelvin degree(s) is a boiling point of antimony
s__boilingPoint(s__Argon,s__MeasureFn(87.29,s__KelvinDegree))

Mid-level-ontology.kif 27369-27369 87.29 Kelvin degree(s) is a boiling point of argon
s__boilingPoint(s__Arsenic,s__MeasureFn(886,s__KelvinDegree))

Mid-level-ontology.kif 27399-27399 886 Kelvin degree(s) is a boiling point of arsenic
s__boilingPoint(s__Astatine,s__MeasureFn(610,s__KelvinDegree))

Mid-level-ontology.kif 27503-27503 610 Kelvin degree(s) is a boiling point of astatine
s__boilingPoint(s__Barium,s__MeasureFn(1913,s__KelvinDegree))

Mid-level-ontology.kif 27445-27445 1913 Kelvin degree(s) is a boiling point of barium
s__boilingPoint(s__Beryllium,s__MeasureFn(3243,s__KelvinDegree))

Mid-level-ontology.kif 27341-27341 3243 Kelvin degree(s) is a boiling point of beryllium
s__boilingPoint(s__Bismuth,s__MeasureFn(1833,s__KelvinDegree))

Mid-level-ontology.kif 27499-27499 1833 Kelvin degree(s) is a boiling point of bismuth
s__boilingPoint(s__Boron,s__MeasureFn(2823,s__KelvinDegree))

Mid-level-ontology.kif 27343-27343 2823 Kelvin degree(s) is a boiling point of boron
s__boilingPoint(s__Bromine,s__MeasureFn(331.93,s__KelvinDegree))

Mid-level-ontology.kif 27403-27403 331.93 Kelvin degree(s) is a boiling point of bromine
s__boilingPoint(s__Cadmium,s__MeasureFn(1038,s__KelvinDegree))

Mid-level-ontology.kif 27429-27429 1038 Kelvin degree(s) is a boiling point of cadmium
s__boilingPoint(s__Caesium,s__MeasureFn(963,s__KelvinDegree))

Mid-level-ontology.kif 27443-27443 963 Kelvin degree(s) is a boiling point of caesium
s__boilingPoint(s__Calcium,s__MeasureFn(1760,s__KelvinDegree))

Mid-level-ontology.kif 27373-27373 1760 Kelvin degree(s) is a boiling point of calcium
s__boilingPoint(s__Carbon,s__MeasureFn(5100,s__KelvinDegree))

Mid-level-ontology.kif 27345-27345 5100 Kelvin degree(s) is a boiling point of carbon
s__boilingPoint(s__Cerium,s__MeasureFn(3530,s__KelvinDegree))

Mid-level-ontology.kif 27449-27449 3530 Kelvin degree(s) is a boiling point of cerium
s__boilingPoint(s__Chlorine,s__MeasureFn(238.55,s__KelvinDegree))

Mid-level-ontology.kif 27367-27367 238.55 Kelvin degree(s) is a boiling point of chlorine
s__boilingPoint(s__Chromium,s__MeasureFn(2755,s__KelvinDegree))

Mid-level-ontology.kif 27381-27381 2755 Kelvin degree(s) is a boiling point of chromium
s__boilingPoint(s__Cobalt,s__MeasureFn(3143,s__KelvinDegree))

Mid-level-ontology.kif 27387-27387 3143 Kelvin degree(s) is a boiling point of cobalt
s__boilingPoint(s__Copper,s__MeasureFn(2868,s__KelvinDegree))

Mid-level-ontology.kif 27391-27391 2868 Kelvin degree(s) is a boiling point of copper
s__boilingPoint(s__Dysprosium,s__MeasureFn(2608,s__KelvinDegree))

Mid-level-ontology.kif 27465-27465 2608 Kelvin degree(s) is a boiling point of dysprosium
s__boilingPoint(s__Erbium,s__MeasureFn(2783,s__KelvinDegree))

Mid-level-ontology.kif 27469-27469 2783 Kelvin degree(s) is a boiling point of erbium
s__boilingPoint(s__Europium,s__MeasureFn(1870,s__KelvinDegree))

Mid-level-ontology.kif 27459-27459 1870 Kelvin degree(s) is a boiling point of europium
s__boilingPoint(s__Fluorine,s__MeasureFn(85.01,s__KelvinDegree))

Mid-level-ontology.kif 27351-27351 85.01 Kelvin degree(s) is a boiling point of fluorine

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners