No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5615-5615 |
diseaseMedicine Malaria, Hydroxychloroquine and ing�rer |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1609-1609 |
diseaseSymptom Malaria and Fever |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1610-1612 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6686-6686 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7266-7266 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7267-7267 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7268-7268 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7269-7269 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1607-1607 |
Malaria est une instance de InfectiousDisease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1608-1608 |
Malaria est une instance de LifeThreateningDisease |