Injecting
|
|
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 11435-11436 | |
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 4735-4735 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11433-11433 | 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 hepatitisA 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 30151-30151 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30150-30150 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30149-30149 |
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 5086-5086 | Ondansetron is disease treatment nausea for injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5088-5088 | Ondansetron is disease treatment vomiting for injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3624-3624 | Rheumatoid arthritis is disease treatment clarithromycin for injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5269-5269 | Rheumatoid arthritis is disease treatment sarilumab for injecting |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3628-3644 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11438-11446 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1374-1381 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1347-1353 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6378-6390 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6370-6376 |
|