moves |
appearance as argument number 1 |
![]() |
(documentation moves ChineseLanguage "(moves ?MOTION ?OBJECT)的意思是当 Motion 事件 ?MOTION 发生时, ?OBJECT 移动了。这不一定意味着在 ?MOTION 的过程中, ?OBJECT 位置有所改变。请同时参考 changesLocation 和 Translocation。") | chinese_format.kif 2991-2993 | |
(documentation moves EnglishLanguage "(moves ?MOTION ?OBJECT) means that during the Motion event ?MOTION, ?OBJECT moves. This does not necessarily imply that the location of ?OBJECT changes during ?MOTION. See also changesLocation and Translocation.") | Merge.kif 11120-11123 | |
(documentation moves JapaneseLanguage "(moves ?MOTION ?OBJECT) は、Motion イベントである ?MOTION 最中に?OBJECTが移動することを意味する。これは必ずしも ?OBJECT の最中に ?OBJECT の位置が 変わることを意味するわけではない。changesLocation および Translocation も参照。") | japanese_format.kif 1751-1753 | |
(domain moves 1 Motion) | Merge.kif 11117-11117 | The number 1 argument of moves is an instance of motion |
(domain moves 2 Object) | Merge.kif 11118-11118 | The number 2 argument of moves is an instance of object |
(instance moves CaseRole) | Merge.kif 11115-11115 | moves is an instance of case role |
(instance moves TotalValuedRelation) | Merge.kif 11116-11116 | moves is an instance of total valued relation |
(subrelation moves involvedInEvent) | Merge.kif 11125-11125 | moves is a subrelation of involved in event |
appearance as argument number 2 |
![]() |
(format EnglishLanguage moves "%2 %n{doesn’t} move%p{s} during %1") | MilitaryPersons.kif 682-682 | |
(subrelation changesLocation moves) | Merge.kif 11138-11138 | changes location is a subrelation of moves |
(termFormat ChineseLanguage moves "移动") | domainEnglishFormat.kif 39038-39038 | changes location is a subrelation of moves |
(termFormat ChineseTraditionalLanguage moves "移動") | domainEnglishFormat.kif 39037-39037 | changes location is a subrelation of moves |
(termFormat EnglishLanguage moves "moves") | domainEnglishFormat.kif 39036-39036 | changes location is a subrelation of moves |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |