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
-------------------------


s__documentation(s__Poking,s__ChineseLanguage,'"这是当 agentinstrument 刺穿 Object 表面的 Process Class。"')

chinese_format.kif 3159-3160
s__documentation(s__Poking,s__EnglishLanguage,'"The Class of Processes where the agent pierces the surface of the Object with an instrument."')

Merge.kif 11710-11711
s__instance(s__Poking,s__SetOrClass)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__subclass(s__Poking,s__IntentionalProcess)

Merge.kif 11709-11709 Poking is a subclass of intentional process

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


s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Poking)

WMD.kif 283-283 Poking is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentDelivery(s__BurkholderiaMallei,s__Poking)

WMD.kif 357-357 Poking is a biochemical agent delivery of burkholderia mallei
s__biochemicalAgentDelivery(s__BurkholderiaPseudomallei,s__Poking)

WMD.kif 373-373 Poking is a biochemical agent delivery of burkholderia pseudomallei
s__biochemicalAgentDelivery(s__ClostridiumTetani,s__Poking)

WMD.kif 1477-1477 Poking is a biochemical agent delivery of clostridium tetani
s__biochemicalAgentDelivery(s__CrimeanCongoHemorrhagicFeverVirus,s__Poking)

WMD.kif 1860-1860 Poking is a biochemical agent delivery of crimean congo hemorrhagic fever virus
s__biochemicalAgentDelivery(s__DengueFeverVirus,s__Poking)

WMD.kif 1580-1580 Poking is a biochemical agent delivery of dengue fever virus
s__biochemicalAgentDelivery(s__EasternEquineEncephalitisVirus,s__Poking)

WMD.kif 1629-1629 Poking is a biochemical agent delivery of eastern equine encephalitis virus
s__biochemicalAgentDelivery(s__HepatitisAVirus,s__Poking)

WMD.kif 1722-1722 Poking is a biochemical agent delivery of hepatitisA virus
s__biochemicalAgentDelivery(s__HepatitisBVirus,s__Poking)

WMD.kif 1734-1734 Poking is a biochemical agent delivery of hepatitisB virus
s__biochemicalAgentDelivery(s__HepatitisCVirus,s__Poking)

WMD.kif 1745-1745 Poking is a biochemical agent delivery of hepatitisC virus
s__biochemicalAgentDelivery(s__JapaneseEncephalitisVirus,s__Poking)

WMD.kif 1643-1643 Poking is a biochemical agent delivery of japanese encephalitis virus
s__biochemicalAgentDelivery(s__LaCrosseVirus,s__Poking)

WMD.kif 1600-1600 Poking is a biochemical agent delivery of la crosse virus
s__biochemicalAgentDelivery(s__MalarialPlasmodium,s__Poking)

WMD.kif 1555-1555 Poking is a biochemical agent delivery of malarial plasmodium
s__biochemicalAgentDelivery(s__MarburgVirus,s__Poking)

WMD.kif 1675-1675 Poking is a biochemical agent delivery of marburg virus
s__biochemicalAgentDelivery(s__MonkeypoxVirus,s__Poking)

WMD.kif 1220-1220 Poking is a biochemical agent delivery of monkeypox virus
s__biochemicalAgentDelivery(s__SaintLouisEncephalitisVirus,s__Poking)

WMD.kif 1614-1614 Poking is a biochemical agent delivery of saint louis encephalitis virus
s__biochemicalAgentDelivery(s__TickBorneEncephalitisVirus,s__Poking)

WMD.kif 1958-1958 Poking is a biochemical agent delivery of tick borne encephalitis virus
s__biochemicalAgentDelivery(s__WestNileVirus,s__Poking)

WMD.kif 1567-1567 Poking is a biochemical agent delivery of west nile virus
s__instance(s__Poking,s__SetOrClass)

s__instance(s__Cutting,s__SetOrClass)

s__subclass(s__Cutting,s__Poking)

Merge.kif 11721-11721 Cutting is a subclass of poking
s__termFormat(s__ChineseLanguage,s__Poking,'"刺"')

chinese_format.kif 1163-1163
s__termFormat(s__EnglishLanguage,s__Poking,'"poking"')

english_format.kif 1548-1548

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


s__biochemicalAgentAntidote(s__NerveAgent,s__Atropine,s__Poking)

WMD.kif 556-556 Nerve agent biochemical agent antidote atropine for poking

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11713-11719


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