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。") Merge.kif 12266-12267
(documentation Poking EnglishLanguage "The Class of Processes where the agent pierces the surface of the Object with an instrument.") Merge.kif 12264-12265
(subclass Poking IntentionalProcess) Merge.kif 12263-12263 Poking is a subclass of intentional process

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


(biochemicalAgentDelivery BacillusAnthracis Poking) WMD.kif 283-283 Poking is a biochemical agent delivery of bacillus anthracis
(biochemicalAgentDelivery BurkholderiaMallei Poking) WMD.kif 357-357 Poking is a biochemical agent delivery of burkholderia mallei
(biochemicalAgentDelivery BurkholderiaPseudomallei Poking) WMD.kif 373-373 Poking is a biochemical agent delivery of burkholderia pseudomallei
(biochemicalAgentDelivery ClostridiumTetani Poking) WMD.kif 1393-1393 Poking is a biochemical agent delivery of clostridium tetani
(biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus Poking) WMD.kif 1770-1770 Poking is a biochemical agent delivery of crimean congo hemorrhagic fever virus
(biochemicalAgentDelivery DengueFeverVirus Poking) WMD.kif 1490-1490 Poking is a biochemical agent delivery of dengue fever virus
(biochemicalAgentDelivery EasternEquineEncephalitisVirus Poking) WMD.kif 1539-1539 Poking is a biochemical agent delivery of eastern equine encephalitis virus
(biochemicalAgentDelivery HepatitisAVirus Poking) WMD.kif 1632-1632 Poking is a biochemical agent delivery of hepatitisA virus
(biochemicalAgentDelivery HepatitisBVirus Poking) WMD.kif 1644-1644 Poking is a biochemical agent delivery of hepatitisB virus
(biochemicalAgentDelivery HepatitisCVirus Poking) WMD.kif 1655-1655 Poking is a biochemical agent delivery of hepatitisC virus
(biochemicalAgentDelivery JapaneseEncephalitisVirus Poking) WMD.kif 1553-1553 Poking is a biochemical agent delivery of japanese encephalitis virus
(biochemicalAgentDelivery LaCrosseVirus Poking) WMD.kif 1510-1510 Poking is a biochemical agent delivery of la crosse virus
(biochemicalAgentDelivery MalarialPlasmodium Poking) WMD.kif 1465-1465 Poking is a biochemical agent delivery of malarial plasmodium
(biochemicalAgentDelivery MarburgVirus Poking) WMD.kif 1585-1585 Poking is a biochemical agent delivery of marburg virus
(biochemicalAgentDelivery MonkeypoxVirus Poking) WMD.kif 1144-1144 Poking is a biochemical agent delivery of monkeypox virus
(biochemicalAgentDelivery SaintLouisEncephalitisVirus Poking) WMD.kif 1524-1524 Poking is a biochemical agent delivery of saint louis encephalitis virus
(biochemicalAgentDelivery TickBorneEncephalitisVirus Poking) WMD.kif 1825-1825 Poking is a biochemical agent delivery of tick borne encephalitis virus
(biochemicalAgentDelivery WestNileVirus Poking) WMD.kif 1477-1477 Poking is a biochemical agent delivery of west nile virus
(subclass Cutting Poking) Merge.kif 12277-12277 Cutting is a subclass of poking
(termFormat ChineseLanguage Poking "刺") chinese_format.kif 1163-1163 "刺" is the printable form of poking in ChineseLanguage
(termFormat EnglishLanguage Poking "poking") english_format.kif 850-850 "poking" is the printable form of poking in english language

appearance as argument number 3
-------------------------


(biochemicalAgentAntidote NerveAgent Atropine Poking) WMD.kif 556-556 Nerve agent biochemical agent antidote atropine for poking

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners