Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Poking
Poking(突き)

appearance as argument number 1
-------------------------


(documentation Poking ChineseLanguage "这是当 agentinstrument 刺穿 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 12467-12468
(subclass Poking IntentionalProcess) Merge.kif 12466-12466 突き意図的なプロセスsubclass では

appearance as argument number 2
-------------------------


(subclass Cutting Poking) Merge.kif 12478-12478 切断突きsubclass では
(termFormat ChineseLanguage Poking "刺") chinese_format.kif 1163-1163 切断突きsubclass では
(termFormat EnglishLanguage Poking "poking") english_format.kif 1543-1543 切断突きsubclass では
(termFormat FrenchLanguage Poking "percer") french_format.kif 841-841 切断突きsubclass では
(termFormat Hindi Poking "dhakkaa") terms-hindi.txt 373-373 切断突きsubclass では
(termFormat ItalianLanguage Poking "Perforare") terms-it.txt 376-376 切断突きsubclass では
(termFormat JapaneseLanguage Poking "突き") japanese_format.kif 2525-2525 切断突きsubclass では
(termFormat PortugueseLanguage Poking "Cutucar") portuguese_format.kif 793-793 切断突きsubclass では
(termFormat cb Poking "pagtusok") terms-cb.txt 378-378 切断突きsubclass では
(termFormat cz Poking "poking") terms-cz.txt 412-412 切断突きsubclass では
(termFormat de Poking "Stossen") terms-de.txt 671-671 切断突きsubclass では
(termFormat ro Poking "împungere") relations-ro.kif 862-862 切断突きsubclass では
(termFormat tg Poking "") terms-tg.txt 377-377 切断突きsubclass では

antecedent
-------------------------


(=>
    (and
        (instance ?POKE Poking)
        (agent ?POKE ?AGENT)
        (patient ?POKE ?OBJ)
        (instrument ?POKE ?INST))
    (holdsDuring
        (WhenFn ?POKE)
        (connects ?INST ?AGENT ?OBJ)))
Merge.kif 12470-12476

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners