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 11743-11744
(subclass Poking IntentionalProcess) Merge.kif 11742-11742

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 1477-1477
(biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus Poking) WMD.kif 1860-1860
(biochemicalAgentDelivery DengueFeverVirus Poking) WMD.kif 1580-1580
(biochemicalAgentDelivery EasternEquineEncephalitisVirus Poking) WMD.kif 1629-1629
(biochemicalAgentDelivery HepatitisAVirus Poking) WMD.kif 1722-1722
(biochemicalAgentDelivery HepatitisBVirus Poking) WMD.kif 1734-1734
(biochemicalAgentDelivery HepatitisCVirus Poking) WMD.kif 1745-1745
(biochemicalAgentDelivery JapaneseEncephalitisVirus Poking) WMD.kif 1643-1643
(biochemicalAgentDelivery LaCrosseVirus Poking) WMD.kif 1600-1600
(biochemicalAgentDelivery MalarialPlasmodium Poking) WMD.kif 1555-1555
(biochemicalAgentDelivery MarburgVirus Poking) WMD.kif 1675-1675
(biochemicalAgentDelivery MonkeypoxVirus Poking) WMD.kif 1220-1220
(biochemicalAgentDelivery SaintLouisEncephalitisVirus Poking) WMD.kif 1614-1614
(biochemicalAgentDelivery TickBorneEncephalitisVirus Poking) WMD.kif 1958-1958
(biochemicalAgentDelivery WestNileVirus Poking) WMD.kif 1567-1567
(subclass Cutting Poking) Merge.kif 11754-11754
(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 11746-11752


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