| 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 13753-13754 | |
| (subclass StateChange InternalChange) | Merge.kif 13752-13752 | 状態変化 は 内部変化 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass Boiling StateChange) | Merge.kif 13922-13922 | 沸騰 は 状態変化 の subclass では %n |
| (subclass Clotting StateChange) | Mid-level-ontology.kif 10488-10488 | Clotting は 状態変化 の subclass では %n |
| (subclass Condensing StateChange) | Merge.kif 13968-13968 | 凝縮 は 状態変化 の subclass では %n |
| (subclass Curdling StateChange) | Food.kif 3179-3179 | Curdling は 状態変化 の subclass では %n |
| (subclass Deposition StateChange) | Geography.kif 6991-6991 | Deposition は 状態変化 の subclass では %n |
| (subclass Evaporating StateChange) | Merge.kif 13947-13947 | Evaporating は 状態変化 の subclass では %n |
| (subclass Freezing StateChange) | Merge.kif 13989-13989 | 凍結 は 状態変化 の subclass では %n |
| (subclass Melting StateChange) | Merge.kif 13901-13901 | 溶融 は 状態変化 の subclass では %n |
| (subclass Sublimation StateChange) | Geography.kif 7041-7041 | Sublimation は 状態変化 の subclass では %n |
| (termFormat ChineseLanguage StateChange "状态改变") | chinese_format.kif 1226-1226 | |
| (termFormat EnglishLanguage StateChange "state change") | english_format.kif 1673-1673 | |
| (termFormat FrenchLanguage StateChange "changement d'�tat") | french_format.kif 904-904 | |
| (termFormat Hindi StateChange "avastaa parivartana") | terms-hindi.txt 437-437 | |
| (termFormat ItalianLanguage StateChange "CambiamentoDiStato") | terms-it.txt 440-440 | |
| (termFormat JapaneseLanguage StateChange "状態変化") | japanese_format.kif 2588-2588 | |
| (termFormat PortugueseLanguage StateChange "Mudanca de Estado") | portuguese_format.kif 856-856 | |
| (termFormat cz StateChange "zm�na skupenstv�") | terms-cz.txt 476-476 | |
| (termFormat ro StateChange "schimbare de stare") | relations-ro.kif 925-925 | |
| (termFormat tg StateChange "Pagbabago ng Bansa") | terms-tg.txt 441-441 |
| 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 13756-13767 |
|
|
|
|