|
|
   OralAntibiotic
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1285-1286 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11577-11577 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10174-10174 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11579-11579 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11578-11578 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1284-1284 | OralAntibiotic e' uma sub-classe de Antibiotic |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 273-273 | diseaseMedicine LouseBorneTyphus, OralAntibiotic and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 261-261 | diseaseMedicine RockyMountainSpottedFever, OralAntibiotic and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1732-1732 | diseaseMedicine Tuberculosis, OralAntibiotic and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1302-1302 | Ciprofloxacin e' uma sub-classe de OralAntibiotic |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1296-1296 | Doxycycline e' uma sub-classe de OralAntibiotic |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1308-1308 | Keflex e' uma sub-classe de OralAntibiotic |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1292-1292 | Penicillin e' uma sub-classe de OralAntibiotic |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42390-42390 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42389-42389 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42388-42388 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1288-1290 |
|
|
|
|
