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


KB Term:  Term intersection
English Word: 

  meltingPoint

 Sigma KEE - meltingPoint
meltingPoint

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


(instance meltingPoint BinaryPredicate) Merge.kif 14165-14165 melting point is an instance of binary predicate
(domainSubclass meltingPoint 1 PureSubstance) Merge.kif 14166-14166 The number 1 argument of melting point is a subclass of pure substance
(domain meltingPoint 2 TemperatureMeasure) Merge.kif 14167-14167 The number 2 argument of melting point is an instance of temperature measure
(documentation meltingPoint EnglishLanguage "The temperature at which a PureSubstance changes state from a Solid to a Liquid. Note that Arsenic can sublimate directly from Solid to Gas which means that its melting and boiling points are equal.") Merge.kif 14168-14170 The number 2 argument of melting point is an instance of temperature measure

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


(format EnglishLanguage meltingPoint "%2 is %n a melting point of %1") domainEnglishFormat.kif 1681-1681
(format ChineseTraditionalLanguage meltingPoint "%2 %n 是 %1 的 melting 點") domainEnglishFormat.kif 1682-1682
(format ChineseLanguage meltingPoint "%2 %n 是 %1 的 melting 点") domainEnglishFormat.kif 1683-1683
(termFormat EnglishLanguage meltingPoint "melting point") domainEnglishFormat.kif 36983-36983
(termFormat ChineseTraditionalLanguage meltingPoint "熔點") domainEnglishFormat.kif 36984-36984
(termFormat ChineseLanguage meltingPoint "熔点") domainEnglishFormat.kif 36985-36985

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


(=>
    (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
(=>
    (and
        (instance ?SUBSTANCE ?TYPE)
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (meltingPoint ?TYPE
            (MeasureFn ?TEMP2 ?MEASURE))
        (instance ?MEASURE UnitOfTemperature)
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP3 ?MEASURE)))
        (greaterThan ?TEMP3 ?TEMP2)
        (lessThan ?TEMP3 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Liquid))
        (exists (?MELT)
            (and
                (overlapsTemporally
                    (WhenFn ?MELT) ?TIME)
                (instance ?MELT Melting)
                (patient ?MELT ?SUBSTANCE)))))		 Merge.kif 14172-14187 If All of the following hold: (1) X is an instance of Y (2) Z W(s) is a boiling point of Y (3) V W(s) is a melting point of Y (4) W is an instance of unit of temperature (5) the measure of X is U W(s) holds during T (6) U is greater than V (7) U is less than Z, then liquid is an attribute of X holds during T or there exists S such that T overlaps the time of existence of S, S is an instance of melting, and X is a patient of S
(=>
    (and
        (instance ?SUBSTANCE ?TYPE)
        (meltingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature)
        (lessThan ?TEMP2 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Solid))
        (exists (?FREEZE)
            (and
                (overlapsTemporally
                    (WhenFn ?FREEZE) ?TIME)
                (instance ?FREEZE Freezing)
                (patient ?FREEZE ?SUBSTANCE)))))		 Merge.kif 14189-14202 If X is an instance of Y, Z W(s) is a melting point of Y, the measure of X is V W(s) holds during U, W is an instance of unit of temperature, and V is less than Z, then solid is an attribute of X holds during U or there exists T such that U overlaps the time of existence of T, T is an instance of freezing, and X is a patient of T
(=>
    (and
        (meltingPoint ?TYPE
            (MeasureFn ?MELT ?U))
        (boilingPoint ?TYPE
            (MeasureFn ?BOIL ?U)))
    (greaterThanOrEqualTo ?BOIL ?MELT))		 Merge.kif 14204-14208 If X Y(s) is a melting point of Z and W Y(s) is a boiling point of Z, then W is greater than or equal to X

appearance as argument number 0
-------------------------


(meltingPoint Hydrogen
    (MeasureFn 14.01 KelvinDegree))		 Mid-level-ontology.kif 31807-31807 14.01 Kelvin degree(s) is a melting 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
(meltingPoint Lithium
    (MeasureFn 453.69 KelvinDegree))		 Mid-level-ontology.kif 31811-31811 453.69 Kelvin degree(s) is a melting 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
(meltingPoint Boron
    (MeasureFn 2573.0 KelvinDegree))		 Mid-level-ontology.kif 31815-31815 2573.0 Kelvin degree(s) is a melting 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
(meltingPoint Nitrogen
    (MeasureFn 63.29 KelvinDegree))		 Mid-level-ontology.kif 31819-31819 63.29 Kelvin degree(s) is a melting 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
(meltingPoint Fluorine
    (MeasureFn 53.53 KelvinDegree))		 Mid-level-ontology.kif 31823-31823 53.53 Kelvin degree(s) is a melting 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
(meltingPoint Sodium
    (MeasureFn 370.95 KelvinDegree))		 Mid-level-ontology.kif 31827-31827 370.95 Kelvin degree(s) is a melting 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
(meltingPoint Aluminum
    (MeasureFn 933.52 KelvinDegree))		 Mid-level-ontology.kif 31831-31831 933.52 Kelvin degree(s) is a melting point of aluminum
(meltingPoint Silicon
    (MeasureFn 1683.0 KelvinDegree))		 Mid-level-ontology.kif 31833-31833 1683.0 Kelvin degree(s) is a melting point of silicon
(meltingPoint Phosphorus
    (MeasureFn 317.3 KelvinDegree))		 Mid-level-ontology.kif 31835-31835 317.3 Kelvin degree(s) is a melting point of phosphorus
(meltingPoint Sulphur
    (MeasureFn 386.0 KelvinDegree))		 Mid-level-ontology.kif 31837-31837 386.0 Kelvin degree(s) is a melting point of sulphur
(meltingPoint Chlorine
    (MeasureFn 172.17 KelvinDegree))		 Mid-level-ontology.kif 31839-31839 172.17 Kelvin degree(s) is a melting point of chlorine
(meltingPoint Argon
    (MeasureFn 83.78 KelvinDegree))		 Mid-level-ontology.kif 31841-31841 83.78 Kelvin degree(s) is a melting point of argon
(meltingPoint Potassium
    (MeasureFn 336.8 KelvinDegree))		 Mid-level-ontology.kif 31843-31843 336.8 Kelvin degree(s) is a melting point of potassium
(meltingPoint Calcium
    (MeasureFn 1112.0 KelvinDegree))		 Mid-level-ontology.kif 31845-31845 1112.0 Kelvin degree(s) is a melting point of calcium
(meltingPoint Scandium
    (MeasureFn 1812.0 KelvinDegree))		 Mid-level-ontology.kif 31847-31847 1812.0 Kelvin degree(s) is a melting point of scandium
(meltingPoint Titanium
    (MeasureFn 1933.0 KelvinDegree))		 Mid-level-ontology.kif 31849-31849 1933.0 Kelvin degree(s) is a melting point of titanium
(meltingPoint Vanadium
    (MeasureFn 2163.0 KelvinDegree))		 Mid-level-ontology.kif 31851-31851 2163.0 Kelvin degree(s) is a melting point of vanadium
(meltingPoint Chromium
    (MeasureFn 2130.0 KelvinDegree))		 Mid-level-ontology.kif 31853-31853 2130.0 Kelvin degree(s) is a melting point of chromium
(meltingPoint Manganese
    (MeasureFn 1517.0 KelvinDegree))		 Mid-level-ontology.kif 31855-31855 1517.0 Kelvin degree(s) is a melting point of manganese

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