| 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 | Cutting is a subclass of poking |
| (termFormat EnglishLanguage Poking "poking") | english_format.kif 1543-1543 | Cutting is a subclass of poking |
| (termFormat FrenchLanguage Poking "percer") | french_format.kif 841-841 | Cutting is a subclass of poking |
| (termFormat Hindi Poking "dhakkaa") | terms-hindi.txt 373-373 | Cutting is a subclass of poking |
| (termFormat ItalianLanguage Poking "Perforare") | terms-it.txt 376-376 | Cutting is a subclass of poking |
| (termFormat JapaneseLanguage Poking "突き") | japanese_format.kif 2525-2525 | Cutting is a subclass of poking |
| (termFormat PortugueseLanguage Poking "Cutucar") | portuguese_format.kif 793-793 | Cutting is a subclass of poking |
| (termFormat cb Poking "pagtusok") | terms-cb.txt 378-378 | Cutting is a subclass of poking |
| (termFormat cz Poking "poking") | terms-cz.txt 412-412 | Cutting is a subclass of poking |
| (termFormat ro Poking "împungere") | relations-ro.kif 862-862 | Cutting is a subclass of poking |
| (termFormat tg Poking "") | terms-tg.txt 377-377 | Cutting is a subclass of poking |
| 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 |
|
|
|
|