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 11492-11493
(subclass Poking IntentionalProcess) Merge.kif 11491-11491

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


(biochemicalAgentDelivery BacillusAnthracis Poking) WMD.kif 283-283
(biochemicalAgentDelivery BurkholderiaMallei Poking) WMD.kif 357-357
(biochemicalAgentDelivery BurkholderiaPseudomallei Poking) WMD.kif 373-373
(biochemicalAgentDelivery ClostridiumTetani Poking) WMD.kif 1443-1443
(biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus Poking) WMD.kif 1820-1820
(biochemicalAgentDelivery DengueFeverVirus Poking) WMD.kif 1540-1540
(biochemicalAgentDelivery EasternEquineEncephalitisVirus Poking) WMD.kif 1589-1589
(biochemicalAgentDelivery HepatitisAVirus Poking) WMD.kif 1682-1682
(biochemicalAgentDelivery HepatitisBVirus Poking) WMD.kif 1694-1694
(biochemicalAgentDelivery HepatitisCVirus Poking) WMD.kif 1705-1705
(biochemicalAgentDelivery JapaneseEncephalitisVirus Poking) WMD.kif 1603-1603
(biochemicalAgentDelivery LaCrosseVirus Poking) WMD.kif 1560-1560
(biochemicalAgentDelivery MalarialPlasmodium Poking) WMD.kif 1515-1515
(biochemicalAgentDelivery MarburgVirus Poking) WMD.kif 1635-1635
(biochemicalAgentDelivery MonkeypoxVirus Poking) WMD.kif 1186-1186
(biochemicalAgentDelivery SaintLouisEncephalitisVirus Poking) WMD.kif 1574-1574
(biochemicalAgentDelivery TickBorneEncephalitisVirus Poking) WMD.kif 1875-1875
(biochemicalAgentDelivery WestNileVirus Poking) WMD.kif 1527-1527
(subclass Cutting Poking) Merge.kif 11503-11503
(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

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


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


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