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 11481-11482 | |
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 11479-11479 | Injecting e' uma sub-classe de Inserting |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 283-283 | biochemicalAgentDelivery BacillusAnthracis and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 357-357 | biochemicalAgentDelivery BurkholderiaMallei and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 373-373 | biochemicalAgentDelivery BurkholderiaPseudomallei and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1507-1507 | biochemicalAgentDelivery ClostridiumTetani and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1921-1921 | biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1641-1641 | biochemicalAgentDelivery DengueFeverVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1690-1690 | biochemicalAgentDelivery EasternEquineEncephalitisVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1783-1783 | biochemicalAgentDelivery HepatitisAVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1795-1795 | biochemicalAgentDelivery HepatitisBVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1806-1806 | biochemicalAgentDelivery HepatitisCVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1704-1704 | biochemicalAgentDelivery JapaneseEncephalitisVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1661-1661 | biochemicalAgentDelivery LaCrosseVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1616-1616 | biochemicalAgentDelivery MalarialPlasmodium and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1736-1736 | biochemicalAgentDelivery MarburgVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1234-1234 | biochemicalAgentDelivery MonkeypoxVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1675-1675 | biochemicalAgentDelivery SaintLouisEncephalitisVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2025-2025 | biochemicalAgentDelivery TickBorneEncephalitisVirus and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1628-1628 | biochemicalAgentDelivery WestNileVirus and Injecting |
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 | biochemicalAgentAntidote NerveAgent, Atropine and Injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5086-5086 | diseaseMedicine Ondansetron, Nausea and Injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5088-5088 | diseaseMedicine Ondansetron, Vomiting and Injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3624-3624 | diseaseMedicine RheumatoidArthritis, Clarithromycin and Injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5269-5269 | diseaseMedicine RheumatoidArthritis, Sarilumab and 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 11484-11492 |
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 |