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 31596-31596 |
roomTempState doxycycline and solid |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3812-3812 |
Diarrhea is a side effect of taking doxycycline |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3811-3811 |
Nausea is a side effect of taking doxycycline |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3813-3813 |
Vomiting is a side effect of taking doxycycline |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3800-3800 |
Doxycycline is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1296-1296 |
Doxycycline is a subclass of oral antibiotic |