Translocation | ![]() |
appearance as argument number 1 |
![]() |
(documentation Translocation ChineseLanguage "Translocation 属于 Motion 的类别,这是物体 从一处移动到另一处。在往返的情况下,origin 和 destination 相同,但是中间会经过其他地点。 Translocation 表示线性移动,这和旋转或其他在原地运动不同。它并不需有交通工具,Ambulating 算是 Translocation 的一种。") | chinese_format.kif 3058-3061 | |
(documentation Translocation EnglishLanguage "Translocation is that class of Motions in which an object moves from one place to another. In the case of round trips, the origin and destination are the same, but the intervening motion passes through other locations. Translocation represents linear motion, in contrast to rotation or other movement in place. A vehicle is not necessary, Ambulating is a kind of Translocation.") | Merge.kif 10803-10808 | |
(subclass Translocation Motion) | Merge.kif 10801-10801 | subclass Translocation and Motion |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain changesLocation 1 Translocation) | Merge.kif 10294-10294 | domain changesLocation, 1 and Translocation |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |