Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Freezing

Sigma KEE - Freezing
Freezing(freezing)cryonics, cure, deep_freeze, flash-freeze, freeze, freeze-drying, freeze_down, freeze_out, freezing, frost, frost-bound, frozen, glaciate, glaciated, harden, ice-clogged, ice-free, icebound, icy, indurate, lyophilisation, lyophilization, quick-freeze, sleety, solid, unfrozen, unthawed

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


(documentation Freezing ChineseLanguage "这是当 Object 受冷时而从 Liquid转成 Gas ProcessClass。") 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 13759-13760
(subclass Freezing StateChange) Merge.kif 13758-13758 Freezing is a subclass of state change

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


(subclass Icing Freezing) Weather.kif 2511-2511 Icing is a subclass of freezing
(termFormat ChineseLanguage Freezing "结冰") chinese_format.kif 1230-1230
(termFormat EnglishLanguage Freezing "freezing") english_format.kif 1681-1681

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 13769-13777
(=>
    (instance ?FREEZE Freezing)
    (exists (?COOL)
        (and
            (instance ?COOL Cooling)
            (subProcess ?COOL ?FREEZE))))
Merge.kif 13762-13767

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 13653-13666


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