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 |
|
|
| (subclass Freezing StateChange) | Merge.kif 14298-14298 | Freezing is a subclass of state change |
| (documentation Freezing 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 |
|
|
| (relatedInternalConcept PreservingFood Freezing) | Food.kif 185-185 | Preserving food is internally related to freezing |
| (subclass Icing Freezing) | Weather.kif 3779-3779 | Icing is a subclass of freezing |
| (termFormat EnglishLanguage Freezing "freezing") | english_format.kif 1685-1685 | Icing is a subclass of freezing |
| antecedent |
|
|
| (=> (instance ?FREEZE Freezing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?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 |
| (=> (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 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 |
|
|
| (=> (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 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 |
| (=> (instance ?DEVICE FoodProcessingAppliance) (hasPurpose ?DEVICE (exists (?FREEZING) (and (instance ?FREEZING Freezing) (instrument ?FREEZING ?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 |
| (=> (instance ?IM IceCreamMaker) (hasPurpose ?IM (exists (?FREEZ) (and (instance ?FREEZ Freezing) (instrument ?FREEZ ?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 |
|