Poking(poking) | boring, dig, drilling, gouge, impalement, incisive, jab, jabbing, lance, needle, oil_production, perforation, pinprick, poke, poking, prick, pricking, prod, puncture, riddle, sheathe, stab, thrust, thrusting, venipuncture |
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 12378-12379 | |
(subclass Poking IntentionalProcess) | Merge.kif 12377-12377 | Poking is a subclass of intentional process |
appearance as argument number 2 |
(subclass Cutting Poking) | Merge.kif 12389-12389 | Cutting is a subclass of poking |
(termFormat ChineseLanguage Poking "刺") | chinese_format.kif 1163-1163 | |
(termFormat EnglishLanguage Poking "poking") | english_format.kif 1543-1543 | |
(termFormat FrenchLanguage Poking "percer") | french_format.kif 841-841 | |
(termFormat Hindi Poking "dhakkaa") | terms-hindi.txt 373-373 | |
(termFormat ItalianLanguage Poking "Perforare") | terms-it.txt 376-376 | |
(termFormat JapaneseLanguage Poking "突き") | japanese_format.kif 2525-2525 | |
(termFormat PortugueseLanguage Poking "Cutucar") | portuguese_format.kif 793-793 | |
(termFormat cb Poking "pagtusok") | terms-cb.txt 378-378 | |
(termFormat cz Poking "poking") | terms-cz.txt 412-412 | |
(termFormat ro Poking "împungere") | relations-ro.kif 862-862 | |
(termFormat tg Poking "") | terms-tg.txt 377-377 |
antecedent |
(=> (and (instance ?POKE Poking) (agent ?POKE ?AGENT) (patient ?POKE ?OBJ) (instrument ?POKE ?INST)) (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ))) |
Merge.kif 12381-12387 |
|
consequent |
(=> (and (instance ?L Laceration) (instance ?S Skin) (equal ?S (HoleHostFn ?L)) (part ?S ?H)) (exists (?P) (and (instance ?P Poking) (result ?P ?L)))) |
Medicine.kif 6219-6228 |
|