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