Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| s__subclass(s__Freezing,s__StateChange)
|
Merge.kif 14298-14298 | Freezing is a subclass of state change |
| s__documentation(s__Freezing, s__EnglishLanguage, "The Class of Processes where an Object is cooled and converted from a Liquid to a Solid_") | Merge.kif 14299-14300 | Freezing is a subclass of state change |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__FREEZE] : ((s__instance(V__FREEZE,s__Freezing) => (? [V__COOL] : ((s__instance(V__COOL,s__Cooling) & s__subProcess(V__COOL,V__FREEZE))))) )
|
Merge.kif 14302-14307 | If X is an instance of freezing, then there exists Y such that Y is an instance of cooling and Y is a subprocess of X |
| ! [V__FREEZE : $i,V__OBJ : $i] : (((s__instance(V__FREEZE, s__Freezing) & s__patient(V__FREEZE, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__FREEZE)), s__attribute(V__PART, s__Liquid)) & s__holdsDuring(s__EndFn(s__WhenFn(V__FREEZE)), s__attribute(V__PART, s__Solid))))))) | Merge.kif 14309-14317 | If X is an instance of freezing and Y is a patient of X, then there exists Z such that Z is a part of Y, liquid is an attribute of Z holds during the beginning of the time of existence of X, and solid is an attribute of Z holds during the end of the time of existence of X |
| consequent |
|
|
| ! [V__MEASURE : $i,V__SUBSTANCE : $i,V__TEMP1 : $real,V__TEMP2 : $real,V__TIME : $i,V__TYPE : $i] : (((s__instance(V__SUBSTANCE, V__TYPE) & s__meltingPoint(V__TYPE, s__MeasureFn(V__TEMP1, V__MEASURE)) & s__holdsDuring(V__TIME, s__measure(V__SUBSTANCE, s__MeasureFn(V__TEMP2, V__MEASURE))) & s__instance(V__MEASURE, s__UnitOfTemperature) & ($less(V__TEMP2,V__TEMP1))) => (s__holdsDuring(V__TIME, s__attribute(V__SUBSTANCE, s__Solid)) | ( ? [V__FREEZE:$i] : ((s__overlapsTemporally(s__WhenFn(V__FREEZE), V__TIME) & s__instance(V__FREEZE, s__Freezing) & s__patient(V__FREEZE, V__SUBSTANCE))))))) | Merge.kif 14189-14202 | If X is an instance of Y, Z W(s) is a melting point of Y, the measure of X is V W(s) holds during U, W is an instance of unit of temperature, and V is less than Z, then solid is an attribute of X holds during U or there exists T such that U overlaps the time of existence of T, T is an instance of freezing, and X is a patient of T |
| ! [V__DEVICE : $i] : ((s__instance(V__DEVICE, s__FoodProcessingAppliance) => s__hasPurpose(V__DEVICE, ( ? [V__FREEZING:$i] : ((s__instance(V__FREEZING, s__Freezing) & s__instrument(V__FREEZING, V__DEVICE))))))) | HouseholdAppliances.kif 797-803 | If X is an instance of food processing appliance, then X has the purpose there exists Y such that Y is an instance of freezing and X is an instrument for Y |
| ! [V__IM : $i] : ((s__instance(V__IM, s__IceCreamMaker) => s__hasPurpose(V__IM, ( ? [V__FREEZ:$i] : ((s__instance(V__FREEZ, s__Freezing) & s__instrument(V__FREEZ, V__IM))))))) | Society.kif 756-762 | If X is an instance of IceCreamMaker, then X has the purpose there exists Y such that Y is an instance of freezing and X is an instrument for Y |
|