StateChange
|
|
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 13775-13776 | |
(subclass StateChange InternalChange) | Merge.kif 13774-13774 | CambiamentoDiStato è una sottoclasse di CambiamentoInterno |
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 13778-13789 |
|