No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1297-1300 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3802-3810 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4661-4661 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31592-31592 |
roomTempState 多西环素 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3812-3812 |
腹泻 是服用 多西环素 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3811-3811 |
Nausea 是服用 多西环素 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3813-3813 |
Vomiting 是服用 多西环素 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3800-3800 |
多西环素 是 抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1296-1296 |
多西环素 是 口服抗生素 的 subclass |