| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1288-1290 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1284-1284 | 子類 口服抗生素 and 抗生素 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1292-1292 | 子類 青黴素 and 口服抗生素 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1296-1296 | 子類 多西環素 and 口服抗生素 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1302-1302 | 子類 環丙沙星 and 口服抗生素 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1308-1308 | 子類 對頭抱菌素IV and 口服抗生素 |
|
|