No TPTP formula. May not be expressible in strict first order. | WMD.kif 1614-1614 | MalarialPlasmodium e' uma sub-classe de Microorganismo |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1620-1620 | PlasmodiumFalciparum e' uma sub-classe de MalarialPlasmodium |