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 11489-11490
(subclass Poking IntentionalProcess) Merge.kif 11488-11488

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 1410-1410
(biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus Poking) WMD.kif 1787-1787
(biochemicalAgentDelivery DengueFeverVirus Poking) WMD.kif 1507-1507
(biochemicalAgentDelivery EasternEquineEncephalitisVirus Poking) WMD.kif 1556-1556
(biochemicalAgentDelivery HepatitisAVirus Poking) WMD.kif 1649-1649
(biochemicalAgentDelivery HepatitisBVirus Poking) WMD.kif 1661-1661
(biochemicalAgentDelivery HepatitisCVirus Poking) WMD.kif 1672-1672
(biochemicalAgentDelivery JapaneseEncephalitisVirus Poking) WMD.kif 1570-1570
(biochemicalAgentDelivery LaCrosseVirus Poking) WMD.kif 1527-1527
(biochemicalAgentDelivery MalarialPlasmodium Poking) WMD.kif 1482-1482
(biochemicalAgentDelivery MarburgVirus Poking) WMD.kif 1602-1602
(biochemicalAgentDelivery MonkeypoxVirus Poking) WMD.kif 1153-1153
(biochemicalAgentDelivery SaintLouisEncephalitisVirus Poking) WMD.kif 1541-1541
(biochemicalAgentDelivery TickBorneEncephalitisVirus Poking) WMD.kif 1842-1842
(biochemicalAgentDelivery WestNileVirus Poking) WMD.kif 1494-1494
(subclass Cutting Poking) Merge.kif 11500-11500
(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 11492-11498


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