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


KB Term:  Term intersection
English Word: 

  boilingPoint

 Sigma KEE - boilingPoint
boilingPoint

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


(instance boilingPoint BinaryPredicate) Merge.kif 14101-14101 boiling point is an instance of binary predicate
(domainSubclass boilingPoint 1 PureSubstance) Merge.kif 14102-14102 The number 1 argument of boiling point is a subclass of pure substance
(domain boilingPoint 2 TemperatureMeasure) Merge.kif 14103-14103 The number 2 argument of boiling point is an instance of temperature measure
(documentation boilingPoint EnglishLanguage "The temperature at which a PureSubstance changes state from a Liquid to a Gas.") Merge.kif 14104-14105 The number 2 argument of boiling point is an instance of temperature measure

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


(format EnglishLanguage boilingPoint "%2 is %n a boiling point of %1") domainEnglishFormat.kif 318-318
(format ChineseTraditionalLanguage boilingPoint "%2 %n 是 %1 的 boiling 點") domainEnglishFormat.kif 319-319
(format ChineseLanguage boilingPoint "%2 %n 是 %1 的 boiling 点") domainEnglishFormat.kif 320-320
(termFormat EnglishLanguage boilingPoint "boiling point") domainEnglishFormat.kif 11513-11513
(termFormat ChineseTraditionalLanguage boilingPoint "沸點") domainEnglishFormat.kif 11514-11514
(termFormat ChineseLanguage boilingPoint "沸点") domainEnglishFormat.kif 11515-11515

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 ?BOILING Boiling)
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (instance ?SUBSTANCE ?TYPE)
        (patient ?BOILING ?SUBSTANCE)
        (holdsDuring
            (WhenFn ?BOILING)
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature))
    (greaterThanOrEqualTo ?TEMP2 ?TEMP1))		 Merge.kif 14140-14148 If All of the following hold: (1) X is an instance of boiling (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) V is a patient of X (5) the measure of V is U Z(s) holds during the time of existence of X (6) Z is an instance of unit of temperature, then U is greater than or equal to Y
(=>
    (and
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (instance ?SUBSTANCE ?TYPE)
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature)
        (greaterThanOrEqualTo ?TEMP2 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Gas))
        (exists (?BOIL)
            (and
                (overlapsTemporally
                    (WhenFn ?BOIL) ?TIME)
                (instance ?BOIL Boiling)
                (patient ?BOIL ?SUBSTANCE)))))		 Merge.kif 14150-14163 If X Y(s) is a boiling point of Z, W is an instance of Z, the measure of W is V Y(s) holds during U, Y is an instance of unit of temperature, and V is greater than or equal to X, then gas is an attribute of W holds during U or there exists T such that U overlaps the time of existence of T, T is an instance of boiling, and W is a patient of T
(=>
    (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
        (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
(=>
    (and
        (instance ?EVAP Evaporating)
        (boilingPoint ?CLASS
            (MeasureFn ?BOILVAL ?MEAS))
        (instance ?OBJ ?CLASS)
        (measure ?OBJ
            (MeasureFn ?VAL ?MEAS))
        (instance ?MEAS UnitOfTemperature)
        (patient ?EVAP ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (greaterThan ?BOILVAL ?VAL)
            (holdsDuring
                (BeginFn
                    (WhenFn ?EVAP))
                (attribute ?PART Liquid))
            (holdsDuring
                (EndFn
                    (WhenFn ?EVAP))
                (attribute ?PART Gas)))))		 Merge.kif 14262-14275 If All of the following hold: (1) X is an instance of evaporating (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) the measure of V is U Z(s) (5) Z is an instance of unit of temperature (6) V is a patient of X, then there exists T such that T is a part of V, Y is greater than U, liquid is an attribute of T holds during the beginning of the time of existence of X, and gas is an attribute of T holds during the end of the time of existence of X

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


(boilingPoint Hydrogen
    (MeasureFn 20.28 KelvinDegree))		 Mid-level-ontology.kif 31808-31808 20.28 Kelvin degree(s) is a boiling point of hydrogen
(boilingPoint Helium
    (MeasureFn 4.216 KelvinDegree))		 Mid-level-ontology.kif 31810-31810 4.216 Kelvin degree(s) is a boiling point of helium
(boilingPoint Lithium
    (MeasureFn 1590.0 KelvinDegree))		 Mid-level-ontology.kif 31812-31812 1590.0 Kelvin degree(s) is a boiling point of lithium
(boilingPoint Beryllium
    (MeasureFn 3243.0 KelvinDegree))		 Mid-level-ontology.kif 31814-31814 3243.0 Kelvin degree(s) is a boiling point of beryllium
(boilingPoint Boron
    (MeasureFn 2823.0 KelvinDegree))		 Mid-level-ontology.kif 31816-31816 2823.0 Kelvin degree(s) is a boiling point of boron
(boilingPoint Carbon
    (MeasureFn 5100.0 KelvinDegree))		 Mid-level-ontology.kif 31818-31818 5100.0 Kelvin degree(s) is a boiling point of carbon
(boilingPoint Nitrogen
    (MeasureFn 77.4 KelvinDegree))		 Mid-level-ontology.kif 31820-31820 77.4 Kelvin degree(s) is a boiling point of nitrogen
(boilingPoint Oxygen
    (MeasureFn 90.188 KelvinDegree))		 Mid-level-ontology.kif 31822-31822 90.188 Kelvin degree(s) is a boiling point of oxygen
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))		 Mid-level-ontology.kif 31824-31824 85.01 Kelvin degree(s) is a boiling point of fluorine
(boilingPoint Neon
    (MeasureFn 27.1 KelvinDegree))		 Mid-level-ontology.kif 31826-31826 27.1 Kelvin degree(s) is a boiling point of neon
(boilingPoint Sodium
    (MeasureFn 1165.0 KelvinDegree))		 Mid-level-ontology.kif 31828-31828 1165.0 Kelvin degree(s) is a boiling point of sodium
(boilingPoint Magnesium
    (MeasureFn 1380.0 KelvinDegree))		 Mid-level-ontology.kif 31830-31830 1380.0 Kelvin degree(s) is a boiling point of magnesium
(boilingPoint Aluminum
    (MeasureFn 2740.0 KelvinDegree))		 Mid-level-ontology.kif 31832-31832 2740.0 Kelvin degree(s) is a boiling point of aluminum
(boilingPoint Silicon
    (MeasureFn 2628.0 KelvinDegree))		 Mid-level-ontology.kif 31834-31834 2628.0 Kelvin degree(s) is a boiling point of silicon
(boilingPoint Phosphorus
    (MeasureFn 553.0 KelvinDegree))		 Mid-level-ontology.kif 31836-31836 553.0 Kelvin degree(s) is a boiling point of phosphorus
(boilingPoint Sulphur
    (MeasureFn 717.824 KelvinDegree))		 Mid-level-ontology.kif 31838-31838 717.824 Kelvin degree(s) is a boiling point of sulphur
(boilingPoint Chlorine
    (MeasureFn 238.55 KelvinDegree))		 Mid-level-ontology.kif 31840-31840 238.55 Kelvin degree(s) is a boiling point of chlorine
(boilingPoint Argon
    (MeasureFn 87.29 KelvinDegree))		 Mid-level-ontology.kif 31842-31842 87.29 Kelvin degree(s) is a boiling point of argon
(boilingPoint Potassium
    (MeasureFn 1047.0 KelvinDegree))		 Mid-level-ontology.kif 31844-31844 1047.0 Kelvin degree(s) is a boiling point of potassium
(boilingPoint Calcium
    (MeasureFn 1760.0 KelvinDegree))		 Mid-level-ontology.kif 31846-31846 1760.0 Kelvin degree(s) is a boiling point of calcium
(boilingPoint Scandium
    (MeasureFn 3105.0 KelvinDegree))		 Mid-level-ontology.kif 31848-31848 3105.0 Kelvin degree(s) is a boiling point of scandium
(boilingPoint Titanium
    (MeasureFn 3533.0 KelvinDegree))		 Mid-level-ontology.kif 31850-31850 3533.0 Kelvin degree(s) is a boiling point of titanium
(boilingPoint Vanadium
    (MeasureFn 3653.0 KelvinDegree))		 Mid-level-ontology.kif 31852-31852 3653.0 Kelvin degree(s) is a boiling point of vanadium
(boilingPoint Chromium
    (MeasureFn 2755.0 KelvinDegree))		 Mid-level-ontology.kif 31854-31854 2755.0 Kelvin degree(s) is a boiling point of chromium
(boilingPoint Manganese
    (MeasureFn 2370.0 KelvinDegree))		 Mid-level-ontology.kif 31856-31856 2370.0 Kelvin degree(s) is a boiling 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