No TPTP formula. May not be expressible in strict first order. | WMD.kif 1614-1614 | Malarial plasmodium is a subclass of microorganism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1620-1620 | Plasmodium falciparum is a subclass of malarial plasmodium |