Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MalarialPlasmodium
MalarialPlasmodium(malarial plasmodium)
Plasmodiidae, Plasmodium_vivax, family_Plasmodiidae, malaria_parasite, malarial_plasmodium, plasmodium

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1465-1465 Poking is a biochemical agent delivery of malarial plasmodium
No TPTP formula. May not be expressible in strict first order. WMD.kif 1464-1464 Insect is a biological agent carrier of malarial plasmodium
No TPTP formula. May not be expressible in strict first order. WMD.kif 1466-1467
No TPTP formula. May not be expressible in strict first order. pictureList.kif 957-957 "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Immature_and_mature_trophozoites_of_the_Plasmodium_vivax_parasite_PHIL_2720_lores.jpg" is a URL depicting malarial plasmodium
No TPTP formula. May not be expressible in strict first order. WMD.kif 1463-1463 Malarial plasmodium is a subclass of microorganism

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1469-1469 Plasmodium falciparum is a subclass of malarial plasmodium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6381-6381 "malarial plasmodium" is the printable form of malarial plasmodium in english language

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1462-1462 The biological agent of malarial plasmodium is a subclass of biological agent


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners