| 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 12482-12483 | |
| (subclass Poking IntentionalProcess) | Merge.kif 12481-12481 |
| appearance as argument number 2 |
|
|
| (subclass Cutting Poking) | Merge.kif 12493-12493 | |
| (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 de Poking "Stossen") | terms-de.txt 671-671 | |
| (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 12485-12491 |
| 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 6235-6244 |
|
|
|