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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Poking
Poking

VerbNet: swat-18.2|stab, carve-21.2|lance, poke-19|poke, swat-18.2|stab, fill-9.8|riddle, swat-18.2|stab,


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 11427-11428
(subclass Poking IntentionalProcess) Merge.kif 11426-11426 subclass Poking and IntentionalProcess

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


(biochemicalAgentDelivery BacillusAnthracis Poking) WMD.kif 283-283 biochemicalAgentDelivery BacillusAnthracis and Poking
(biochemicalAgentDelivery BurkholderiaMallei Poking) WMD.kif 357-357 biochemicalAgentDelivery BurkholderiaMallei and Poking
(biochemicalAgentDelivery BurkholderiaPseudomallei Poking) WMD.kif 373-373 biochemicalAgentDelivery BurkholderiaPseudomallei and Poking
(biochemicalAgentDelivery ClostridiumTetani Poking) WMD.kif 1410-1410 biochemicalAgentDelivery ClostridiumTetani and Poking
(biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus Poking) WMD.kif 1787-1787 biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus and Poking
(biochemicalAgentDelivery DengueFeverVirus Poking) WMD.kif 1507-1507 biochemicalAgentDelivery DengueFeverVirus and Poking
(biochemicalAgentDelivery EasternEquineEncephalitisVirus Poking) WMD.kif 1556-1556 biochemicalAgentDelivery EasternEquineEncephalitisVirus and Poking
(biochemicalAgentDelivery HepatitisAVirus Poking) WMD.kif 1649-1649 biochemicalAgentDelivery HepatitisAVirus and Poking
(biochemicalAgentDelivery HepatitisBVirus Poking) WMD.kif 1661-1661 biochemicalAgentDelivery HepatitisBVirus and Poking
(biochemicalAgentDelivery HepatitisCVirus Poking) WMD.kif 1672-1672 biochemicalAgentDelivery HepatitisCVirus and Poking
(biochemicalAgentDelivery JapaneseEncephalitisVirus Poking) WMD.kif 1570-1570 biochemicalAgentDelivery JapaneseEncephalitisVirus and Poking
(biochemicalAgentDelivery LaCrosseVirus Poking) WMD.kif 1527-1527 biochemicalAgentDelivery LaCrosseVirus and Poking
(biochemicalAgentDelivery MalarialPlasmodium Poking) WMD.kif 1482-1482 biochemicalAgentDelivery MalarialPlasmodium and Poking
(biochemicalAgentDelivery MarburgVirus Poking) WMD.kif 1602-1602 biochemicalAgentDelivery MarburgVirus and Poking
(biochemicalAgentDelivery MonkeypoxVirus Poking) WMD.kif 1153-1153 biochemicalAgentDelivery MonkeypoxVirus and Poking
(biochemicalAgentDelivery SaintLouisEncephalitisVirus Poking) WMD.kif 1541-1541 biochemicalAgentDelivery SaintLouisEncephalitisVirus and Poking
(biochemicalAgentDelivery TickBorneEncephalitisVirus Poking) WMD.kif 1842-1842 biochemicalAgentDelivery TickBorneEncephalitisVirus and Poking
(biochemicalAgentDelivery WestNileVirus Poking) WMD.kif 1494-1494 biochemicalAgentDelivery WestNileVirus and Poking
(subclass Cutting Poking) Merge.kif 11438-11438 subclass Cutting and Poking
(termFormat ChineseLanguage Poking "刺") chinese_format.kif 1163-1163
(termFormat EnglishLanguage Poking "poking") english_format.kif 1548-1548

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


(biochemicalAgentAntidote NerveAgent Atropine Poking) WMD.kif 556-556 biochemicalAgentAntidote NerveAgent, Atropine and Poking

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


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


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