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 12332-12333
(subclass Poking IntentionalProcess) Merge.kif 12331-12331 突き意図的なプロセスsubclass では %n

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


(subclass Cutting Poking) Merge.kif 12343-12343 切断突きsubclass では %n
(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 12335-12341

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


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