|
|
   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 12223-12224 | |
| (subclass Poking IntentionalProcess) | Merge.kif 12222-12222 | Poking is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (subclass Cutting Poking) | Merge.kif 12234-12234 | 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 374-374 | |
| (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 12226-12232 |
|
|
|
|