Knowledge base Browser

appearance as argument number 1

(documentation Boiling EnglishLanguage "The class of processes where a substance is heated and converted from a liquid to a gas.")	Merge.kif 11148-11149
(externalImage Boiling "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Kochendes_wasser02.jpg")	pictureList.kif 1670-1670	externalImage boiling and "http://upload.wikimedia.org/wikipedia/commons/1/18/ Kochendes_wasser02.jpg"
(subclass Boiling StateChange)	Merge.kif 11147-11147	Boiling is a subclass of state change

appearance as argument number 2

(termFormat EnglishLanguage Boiling "boiling")

english_format.kif 905-905

term format english language, boiling and "boiling"

antecedent

(=> (and (instance ?BOIL Boiling) (patient ?BOIL ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?BOIL)) (attribute ?PART Liquid)) (holdsDuring (EndFn (WhenFn ?BOIL)) (attribute ?PART Gas)))))	Merge.kif 11158-11166	If a process is an instance of boiling and an object is a patient of process then there exists object so that object is a part of object and liquid is an attribute of object holds during the beginning of the time of existence of process and gas is an attribute of object holds during the end of the time of existence of process
(=> (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 11056-11064	If a process is an instance of boiling and a real number an unit of measure(s) is a boiling point of a pure substance and an object is an instance of a pure substance and object is a patient of process and the measure of object is real number unit of measure(s) holds during the time of existence of process and unit of measure is an instance of UnitOfTemperature then real number is greater than or equal to real number
(=> (instance ?BOIL Boiling) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?BOIL))))	Merge.kif 11151-11156	If a process is an instance of boiling then there exists process so that process is an instance of heating and process is a subprocess of process

consequent

(=>
    (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 11066-11079

If a real number an unit of measure(s) is a boiling point of a pure substance and an object is an instance of a pure substance and the measure of object is real number unit of measure(s) holds during a time interval and unit of measure is an instance of UnitOfTemperature and real number is greater than or equal to real number
then gas is an attribute of object holds during time interval or there exists a process so that time interval overlaps the time of existence of process and process is an instance of boiling and object is a patient of process

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

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners

KB Term:

English Word: