Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

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

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


(instance KelvinDegree UnitOfTemperature) Merge.kif 6851-6851 Kelvin degree is an instance of unit of temperature
(instance KelvinDegree SystemeInternationalUnit) Merge.kif 6852-6852 Kelvin degree is an instance of systeme international unit
(documentation KelvinDegree 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 6854-6861 Kelvin degree is an instance of systeme international unit

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


(termFormat EnglishLanguage KelvinDegree "kelvin degree") domainEnglishFormat.kif 32295-32295
(termFormat ChineseTraditionalLanguage KelvinDegree "凱文度") domainEnglishFormat.kif 32296-32296
(termFormat ChineseLanguage KelvinDegree "凯文度") domainEnglishFormat.kif 32297-32297

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


(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan 29.92 ?PRES)
        (boilingPoint ?Y
            (MeasureFn ?BOIL KelvinDegree))
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (greaterThan ?TEMP ?BOIL))
    (attribute ?X Gas))		 Merge.kif 14107-14116 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z inch mercury(s) is a barometric pressure of X (4) 29.92 is greater than Z (5) W kelvin degree(s) is a boiling point of Y (6) the measure of X is V kelvin degree(s) (7) V is greater than W, then gas is an attribute of X
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (boilingPoint ?Y
            (MeasureFn ?BOIL KelvinDegree))
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (greaterThan ?TEMP ?MELT)
        (lessThan ?TEMP ?BOIL))
    (attribute ?X Liquid))		 Merge.kif 14118-14127 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a boiling point of Y (4) W kelvin degree(s) is a melting point of Y (5) the measure of X is V kelvin degree(s) (6) V is greater than W (7) V is less than Z, then liquid is an attribute of X
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan ?PRES 29.92)
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (lessThan ?TEMP ?MELT))
    (attribute ?X Solid))		 Merge.kif 14129-14138 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a melting point of Y (4) W inch mercury(s) is a barometric pressure of X (5) W is greater than 29.92 (6) the measure of X is V kelvin degree(s) (7) V is less than Z, then solid is an attribute of X

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


(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))		 Weather.kif 3947-3957 X is an instance of region and X the attribute standard ambient temperature and pressure holds during Y if and only if 298.15 kelvin degree(s) is an air temperature of X and 29.530 inch mercury(s) is a barometric pressure of X holds during Y

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


(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (SubtractionFn ?NUMBER 273.15) KelvinDegree))		 Merge.kif 7127-7129 equal X celsius degree(s) and (X and 273.15) kelvin degree(s)
(equal
    (MeasureFn ?NUMBER RankineDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.8) KelvinDegree))		 Merge.kif 7454-7456 equal X rankine degree(s) and X and 1.8 kelvin degree(s)
(meltingPoint Hydrogen
    (MeasureFn 14.01 KelvinDegree))		 Mid-level-ontology.kif 31807-31807 14.01 Kelvin degree(s) is a melting point of hydrogen
(boilingPoint Hydrogen
    (MeasureFn 20.28 KelvinDegree))		 Mid-level-ontology.kif 31808-31808 20.28 Kelvin degree(s) is a boiling point of hydrogen
(meltingPoint Helium
    (MeasureFn 0.95 KelvinDegree))		 Mid-level-ontology.kif 31809-31809 0.95 Kelvin degree(s) is a melting point of helium
(boilingPoint Helium
    (MeasureFn 4.216 KelvinDegree))		 Mid-level-ontology.kif 31810-31810 4.216 Kelvin degree(s) is a boiling point of helium
(meltingPoint Lithium
    (MeasureFn 453.69 KelvinDegree))		 Mid-level-ontology.kif 31811-31811 453.69 Kelvin degree(s) is a melting point of lithium
(boilingPoint Lithium
    (MeasureFn 1590.0 KelvinDegree))		 Mid-level-ontology.kif 31812-31812 1590.0 Kelvin degree(s) is a boiling point of lithium
(meltingPoint Beryllium
    (MeasureFn 1551.0 KelvinDegree))		 Mid-level-ontology.kif 31813-31813 1551.0 Kelvin degree(s) is a melting point of beryllium
(boilingPoint Beryllium
    (MeasureFn 3243.0 KelvinDegree))		 Mid-level-ontology.kif 31814-31814 3243.0 Kelvin degree(s) is a boiling point of beryllium
(meltingPoint Boron
    (MeasureFn 2573.0 KelvinDegree))		 Mid-level-ontology.kif 31815-31815 2573.0 Kelvin degree(s) is a melting point of boron
(boilingPoint Boron
    (MeasureFn 2823.0 KelvinDegree))		 Mid-level-ontology.kif 31816-31816 2823.0 Kelvin degree(s) is a boiling point of boron
(meltingPoint Carbon
    (MeasureFn 3823.0 KelvinDegree))		 Mid-level-ontology.kif 31817-31817 3823.0 Kelvin degree(s) is a melting point of carbon
(boilingPoint Carbon
    (MeasureFn 5100.0 KelvinDegree))		 Mid-level-ontology.kif 31818-31818 5100.0 Kelvin degree(s) is a boiling point of carbon
(meltingPoint Nitrogen
    (MeasureFn 63.29 KelvinDegree))		 Mid-level-ontology.kif 31819-31819 63.29 Kelvin degree(s) is a melting point of nitrogen
(boilingPoint Nitrogen
    (MeasureFn 77.4 KelvinDegree))		 Mid-level-ontology.kif 31820-31820 77.4 Kelvin degree(s) is a boiling point of nitrogen
(meltingPoint Oxygen
    (MeasureFn 54.75 KelvinDegree))		 Mid-level-ontology.kif 31821-31821 54.75 Kelvin degree(s) is a melting point of oxygen
(boilingPoint Oxygen
    (MeasureFn 90.188 KelvinDegree))		 Mid-level-ontology.kif 31822-31822 90.188 Kelvin degree(s) is a boiling point of oxygen
(meltingPoint Fluorine
    (MeasureFn 53.53 KelvinDegree))		 Mid-level-ontology.kif 31823-31823 53.53 Kelvin degree(s) is a melting point of fluorine
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))		 Mid-level-ontology.kif 31824-31824 85.01 Kelvin degree(s) is a boiling point of fluorine
(meltingPoint Neon
    (MeasureFn 24.48 KelvinDegree))		 Mid-level-ontology.kif 31825-31825 24.48 Kelvin degree(s) is a melting point of neon
(boilingPoint Neon
    (MeasureFn 27.1 KelvinDegree))		 Mid-level-ontology.kif 31826-31826 27.1 Kelvin degree(s) is a boiling point of neon
(meltingPoint Sodium
    (MeasureFn 370.95 KelvinDegree))		 Mid-level-ontology.kif 31827-31827 370.95 Kelvin degree(s) is a melting point of sodium
(boilingPoint Sodium
    (MeasureFn 1165.0 KelvinDegree))		 Mid-level-ontology.kif 31828-31828 1165.0 Kelvin degree(s) is a boiling point of sodium
(meltingPoint Magnesium
    (MeasureFn 921.95 KelvinDegree))		 Mid-level-ontology.kif 31829-31829 921.95 Kelvin degree(s) is a melting point of magnesium

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners