|
|
   Freezing
|
|
|
| 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 14049-14050 | |
| (subclass Freezing StateChange) | Merge.kif 14048-14048 | 结冰 是 状态改变 的 subclass |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept PreservingFood Freezing) | Food.kif 185-185 | PreservingFood 和 结冰 是 内部相关 |
| (subclass Icing Freezing) | Weather.kif 2495-2495 | 刨冰 是 结冰 的 subclass |
| (termFormat ChineseLanguage Freezing "结冰") | chinese_format.kif 1230-1230 | 刨冰 是 结冰 的 subclass |
| (termFormat EnglishLanguage Freezing "freezing") | english_format.kif 1681-1681 | 刨冰 是 结冰 的 subclass |
| (termFormat FrenchLanguage Freezing "congeler") | french_format.kif 908-908 | 刨冰 是 结冰 的 subclass |
| (termFormat Hindi Freezing "himiikarana") | terms-hindi.txt 441-441 | 刨冰 是 结冰 的 subclass |
| (termFormat ItalianLanguage Freezing "Congelare") | terms-it.txt 444-444 | 刨冰 是 结冰 的 subclass |
| (termFormat JapaneseLanguage Freezing "凍結") | japanese_format.kif 2592-2592 | 刨冰 是 结冰 的 subclass |
| (termFormat PortugueseLanguage Freezing "Congelar") | portuguese_format.kif 860-860 | 刨冰 是 结冰 的 subclass |
| (termFormat cb Freezing "pagpagahi") | terms-cb.txt 446-446 | 刨冰 是 结冰 的 subclass |
| (termFormat cz Freezing "tuhnut�") | terms-cz.txt 480-480 | 刨冰 是 结冰 的 subclass |
| (termFormat ro Freezing "îngheþare") | relations-ro.kif 929-929 | 刨冰 是 结冰 的 subclass |
| (termFormat tg Freezing "ginaw na ginaw;nagyeyelo") | terms-tg.txt 445-445 | 刨冰 是 结冰 的 subclass |
| 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 14059-14067 | |
| (=> (instance ?FREEZE Freezing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?FREEZE)))) |
Merge.kif 14052-14057 |
| 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 13939-13952 |
|
|
|
|