changesLocation |
appearance as argument number 1 |
(documentation changesLocation ChineseLanguage "(changesLocation ?EVENT ?OBJECT)的意思是当 Translocation 事件 ?EVENT 发生时,?OBJECT 的位置改变了。?OBJECT 也可以是 ?EVENT 的 agent、patient 或 experiencer。") | chinese_format.kif 2994-2996 | |
(documentation changesLocation EnglishLanguage "(changesLocation ?EVENT ?OBJECT) means that during the Translocation event ?EVENT, ?OBJECT's location changes. ?OBJECT might also be the agent, patient, or experiencer of ?EVENT.") | Merge.kif 11029-11032 | |
(documentation changesLocation JapaneseLanguage "(changesLocation ?EVENT ?OBJECT) は、 Translocation イベント ?EVENT の最中に ?OBJECT's 位置が変更されたことを意味する。?OBJECT は、 ?EVENT の patient、experiencer、または experiencer でもある可能性がある。") | japanese_format.kif 1754-1756 | |
(domain changesLocation 1 Translocation) | Merge.kif 11026-11026 | The number 1 argument of changes location is an instance of translocation |
(domain changesLocation 2 Object) | Merge.kif 11027-11027 | The number 2 argument of changes location is an instance of object |
(instance changesLocation CaseRole) | Merge.kif 11024-11024 | changes location is an instance of case role |
(instance changesLocation TotalValuedRelation) | Merge.kif 11025-11025 | changes location is an instance of total valued relation |
(subrelation changesLocation moves) | Merge.kif 11034-11034 | changes location is a subrelation of moves |
appearance as argument number 2 |
(format ChineseLanguage changesLocation "%2 %n 是 %3 的 changes 地点") | domainEnglishFormat.kif 428-428 | |
(format ChineseTraditionalLanguage changesLocation "%2 %n 是 %3 的 changes 地點") | domainEnglishFormat.kif 427-427 | |
(format EnglishLanguage changesLocation "%2 %n{doesn't} change%{s} location during %1") | MilitaryPersons.kif 669-669 | |
(format EnglishLanguage changesLocation "%2 is %n a changes location of %1") | domainEnglishFormat.kif 426-426 | |
(termFormat ChineseLanguage changesLocation "改变位置") | domainEnglishFormat.kif 14124-14124 | |
(termFormat ChineseTraditionalLanguage changesLocation "改變位置") | domainEnglishFormat.kif 14123-14123 | |
(termFormat EnglishLanguage changesLocation "changes location") | domainEnglishFormat.kif 14122-14122 |
antecedent |
(=> (changesLocation ?EVENT ?OBJ) (and (instance ?EVENT Translocation) (instance ?OBJ Object) (or (patient ?EVENT ?OBJ) (agent ?EVENT ?OBJ) (experiencer ?EVENT ?OBJ)))) |
Merge.kif 11037-11045 |
|