|
|
   Ciprofloxacin
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1303-1306 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5914-5914 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31584-31584 | roomTempState 環丙沙星 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1302-1302 | 子類 環丙沙星 and 口服抗生素 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1140-1140 | 炭疽病 是 對於 Ingesting 的 disease 治癒 環丙沙星 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 359-359 | Burkholderia mallei 是 對於 Ingesting 的 disease 治癒 環丙沙星 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14856-14856 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14855-14855 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14854-14854 |
|
|
|
