| StateChange(state change) | | blood_clotting, blood_coagulation, clogged, clotted, clotting, coagulate, coagulated, coagulation, concrete, congealed, curdled, curdling, dissolution, dissolving, evaporated, evaporation, gasified, grumose, grumous, hardened, jelled, jellied, libration, lie, liquefaction, liquefied, liquefy, liquified, oscillation, phase_change, phase_transition, physical_change, set, solidified, state_change, sublimated, sublimed, thermocoagulation, vapor, vaporisation, vaporization, vaporized, vapour, vapourised, vitrification, volatilised, volatilized, woody |
| appearance as argument number 1 |
|
|
| (documentation StateChange ChineseLanguage "这是任何当 Process patient 某 part 的 PhysicalState 受到改变的 Process。") | chinese_format.kif 3335-3336 | |
| (documentation StateChange EnglishLanguage "Any Process where the PhysicalState of part of the patient of the Process changes.") | Merge.kif 13828-13829 | |
| (subclass StateChange InternalChange) | Merge.kif 13827-13827 | State change is a subclass of internal change |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?PROCESS StateChange) (patient ?PROCESS ?OBJ)) (exists (?PART ?STATE1 ?STATE2) (and (part ?PART ?OBJ) (instance ?STATE1 PhysicalState) (instance ?STATE2 PhysicalState) (not (equal ?STATE1 ?STATE2)) (holdsDuring (BeginFn (WhenFn ?PROCESS)) (attribute ?PART ?STATE1)) (holdsDuring (EndFn (WhenFn ?PROCESS)) (attribute ?PART ?STATE2))))) |
Merge.kif 13831-13842 |
|
|
|
|