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 31628-31628 |
roomTempState Doxycycline and Solid |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3812-3812 |
sideEffect Doxycycline and Diarrhea |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3811-3811 |
sideEffect Doxycycline and Nausea |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3813-3813 |
sideEffect Doxycycline and Vomiting |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3800-3800 |
Doxycycline e' uma sub-classe de Antibiotic |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1296-1296 |
Doxycycline e' uma sub-classe de OralAntibiotic |