No TPTP formula. May not be expressible in strict first order. | WMD.kif 1614-1614 | MalarialPlasmodium est une sous-classe de microorganisme |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1620-1620 | PlasmodiumFalciparum est une sous-classe de MalarialPlasmodium |