Poking | ![]() |
appearance as argument number 1 |
![]() |
(documentation Poking ChineseLanguage "这是当 agent 用 instrument 刺穿 Object 表面的 Process Class。") | chinese_format.kif 3159-3160 | |
(documentation Poking EnglishLanguage "The Class of Processes where the agent pierces the surface of the Object with an instrument.") | Merge.kif 11489-11490 | |
(subclass Poking IntentionalProcess) | Merge.kif 11488-11488 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(biochemicalAgentAntidote NerveAgent Atropine Poking) | WMD.kif 556-556 |
antecedent |
![]() |
(=> (and (instance ?POKE Poking) (agent ?POKE ?AGENT) (patient ?POKE ?OBJ) (instrument ?POKE ?INST)) (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ))) |
Merge.kif 11492-11498 |
![]() |
![]() |