Touching(接触)![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Touching ChineseLanguage "这是任何把两个 Object 拿到能够互相接触距离的 Transfer。") | chinese_format.kif 3048-3049 | |
(documentation Touching EnglishLanguage "Any Transfer where two Objects are brought into immediate physical contact with one another.") | Merge.kif 11315-11316 | |
(externalImage Touching "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Laughter_by_David_Shankbone.jpg") | pictureList.kif 6926-6926 | |
(subclass Touching Transfer) | Merge.kif 11313-11313 | 接触 是 转移 的 subclass |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?TOUCH Touching) (agent ?TOUCH ?OBJ1) (patient ?TOUCH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?TOUCH)) (not (connected ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?TOUCH)) (connected ?OBJ1 ?OBJ2)))) |
Merge.kif 11318-11325 |
consequent |
![]() |
![]() |
![]() |