Injecting(injecting) | ![]() | infuse, inject, injection, shoot, shot |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3040-3041 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11585-11586 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1808-1809 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4734-4734 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11583-11583 | Injecting is a subclass of inserting |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 283-283 | Injecting is a biochemical agent delivery of bacillus anthracis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 357-357 | Injecting is a biochemical agent delivery of burkholderia mallei |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 373-373 | Injecting is a biochemical agent delivery of burkholderia pseudomallei |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1507-1507 | Injecting is a biochemical agent delivery of clostridium tetani |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1921-1921 | Injecting is a biochemical agent delivery of crimean congo hemorrhagic fever virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1641-1641 | Injecting is a biochemical agent delivery of dengue fever virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1690-1690 | Injecting is a biochemical agent delivery of eastern equine encephalitis virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1783-1783 | Injecting is a biochemical agent delivery of hepatitis A virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1795-1795 | Injecting is a biochemical agent delivery of hepatitisB virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1806-1806 | Injecting is a biochemical agent delivery of hepatitisC virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1704-1704 | Injecting is a biochemical agent delivery of japanese encephalitis virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1661-1661 | Injecting is a biochemical agent delivery of la crosse virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1616-1616 | Injecting is a biochemical agent delivery of malarial plasmodium |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1736-1736 | Injecting is a biochemical agent delivery of marburg virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1234-1234 | Injecting is a biochemical agent delivery of monkeypox virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1675-1675 | Injecting is a biochemical agent delivery of saint louis encephalitis virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2025-2025 | Injecting is a biochemical agent delivery of tick borne encephalitis virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1628-1628 | Injecting is a biochemical agent delivery of west nile virus |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30162-30162 | Injecting is a biochemical agent delivery of west nile virus |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30161-30161 | Injecting is a biochemical agent delivery of west nile virus |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30160-30160 | Injecting is a biochemical agent delivery of west nile virus |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 561-561 | Nerve agent biochemical agent antidote atropine for injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5093-5093 | Ondansetron is disease treatment nausea for injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5095-5095 | Ondansetron is disease treatment vomiting for injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3627-3627 | Rheumatoid arthritis is disease treatment clarithromycin for injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5278-5278 | Rheumatoid arthritis is disease treatment sarilumab for injecting |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3631-3647 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11588-11596 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1366-1373 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1339-1345 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6396-6408 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6388-6394 |
|
![]() |
![]() |