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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Poking

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3159-3160
No TPTP formula. May not be expressible in strict first order. Merge.kif 11489-11490
No TPTP formula. May not be expressible in strict first order. Merge.kif 11488-11488 Poking is a subclass of intentional process

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 283-283 Poking is a biochemical agent delivery of bacillus anthracis
No TPTP formula. May not be expressible in strict first order. WMD.kif 357-357 Poking is a biochemical agent delivery of burkholderia mallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 373-373 Poking is a biochemical agent delivery of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 1410-1410 Poking is a biochemical agent delivery of clostridium tetani
No TPTP formula. May not be expressible in strict first order. WMD.kif 1787-1787 Poking is a biochemical agent delivery of crimean congo hemorrhagic fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1507-1507 Poking is a biochemical agent delivery of dengue fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1556-1556 Poking is a biochemical agent delivery of eastern equine encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1649-1649 Poking is a biochemical agent delivery of hepatitisA virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1661-1661 Poking is a biochemical agent delivery of hepatitisB virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1672-1672 Poking is a biochemical agent delivery of hepatitisC virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1570-1570 Poking is a biochemical agent delivery of japanese encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1527-1527 Poking is a biochemical agent delivery of la crosse virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1482-1482 Poking is a biochemical agent delivery of malarial plasmodium
No TPTP formula. May not be expressible in strict first order. WMD.kif 1602-1602 Poking is a biochemical agent delivery of marburg virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1153-1153 Poking is a biochemical agent delivery of monkeypox virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1541-1541 Poking is a biochemical agent delivery of saint louis encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1842-1842 Poking is a biochemical agent delivery of tick borne encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1494-1494 Poking is a biochemical agent delivery of west nile virus
No TPTP formula. May not be expressible in strict first order. Merge.kif 11500-11500 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1163-1163
No TPTP formula. May not be expressible in strict first order. english_format.kif 1548-1548

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


No TPTP formula. May not be expressible in strict first order. 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 11492-11498


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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