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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Poking
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 "这是当 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 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
(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 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


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