| 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 13513-13514 | |
| (subclass StateChange InternalChange) | Merge.kif 13512-13512 |
| appearance as argument number 2 |
|
|
| (subclass Boiling StateChange) | Merge.kif 13682-13682 | |
| (subclass Clotting StateChange) | Mid-level-ontology.kif 10000-10000 | |
| (subclass Condensing StateChange) | Merge.kif 13721-13721 | |
| (subclass Deposition StateChange) | Geography.kif 6679-6679 | |
| (subclass Evaporating StateChange) | Merge.kif 13703-13703 | |
| (subclass Freezing StateChange) | Merge.kif 13742-13742 | |
| (subclass Melting StateChange) | Merge.kif 13661-13661 | |
| (subclass Sublimation StateChange) | Geography.kif 6729-6729 | |
| (termFormat ChineseLanguage StateChange "状态改变") | chinese_format.kif 1226-1226 | |
| (termFormat EnglishLanguage StateChange "state change") | english_format.kif 1673-1673 |
| 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 13516-13527 |
|
|
|