Freezing - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Freezing ChineseLanguage "这是当 Object 受冷时而从 Liquid转成 Gas Process 的 Class。")	chinese_format.kif 1430-1431
(documentation Freezing EnglishLanguage "The Class of Processes where an Object is cooled and converted from a Liquid to a Solid.")	Merge.kif 14036-14037
(subclass Freezing StateChange)	Merge.kif 14035-14035	Freezing is a subclass of state change

appearance as argument number 2

(relatedInternalConcept PreservingFood Freezing)	Food.kif 185-185	Preserving food is internally related to freezing
(subclass Icing Freezing)	Weather.kif 2495-2495	Icing is a subclass of freezing
(termFormat ChineseLanguage Freezing "结冰")	chinese_format.kif 1230-1230	Icing is a subclass of freezing
(termFormat EnglishLanguage Freezing "freezing")	english_format.kif 1681-1681	Icing is a subclass of freezing
(termFormat FrenchLanguage Freezing "congeler")	french_format.kif 908-908	Icing is a subclass of freezing
(termFormat Hindi Freezing "himiikarana")	terms-hindi.txt 441-441	Icing is a subclass of freezing
(termFormat ItalianLanguage Freezing "Congelare")	terms-it.txt 444-444	Icing is a subclass of freezing
(termFormat JapaneseLanguage Freezing "凍結")	japanese_format.kif 2592-2592	Icing is a subclass of freezing
(termFormat PortugueseLanguage Freezing "Congelar")	portuguese_format.kif 860-860	Icing is a subclass of freezing
(termFormat cb Freezing "pagpagahi")	terms-cb.txt 446-446	Icing is a subclass of freezing
(termFormat cz Freezing "tuhnut�")	terms-cz.txt 480-480	Icing is a subclass of freezing
(termFormat ro Freezing "îngheþare")	relations-ro.kif 929-929	Icing is a subclass of freezing
(termFormat tg Freezing "ginaw na ginaw;nagyeyelo")	terms-tg.txt 445-445	Icing is a subclass of freezing

antecedent

(=> (and (instance ?FREEZE Freezing) (patient ?FREEZE ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?FREEZE)) (attribute ?PART Liquid)) (holdsDuring (EndFn (WhenFn ?FREEZE)) (attribute ?PART Solid)))))	Merge.kif 14046-14054	If a process is an instance of freezing and an object is a patient of the process, then there exists another object such that the other object is a part of the object and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and solid is an attribute of the other object holds during the end of the time of existence of the process
(=> (instance ?FREEZE Freezing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?FREEZE))))	Merge.kif 14039-14044	If a process is an instance of freezing, then there exists another process such that the other process is an instance of cooling and the other process is a subprocess of the process

consequent

(=>
    (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 13926-13939

If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a melting point of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of unit of temperature and the other real number is less than the real number,
then solid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of freezing and the entity is a patient of the process

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: