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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Microorganism

Sigma KEE - Microorganism
Microorganism(microorganism)
Acnidosporidia, Actinomyxidia, Actinopoda, Amoebida, Amoebina, Arcellidae, Babesiidae, C._trachomatis, Chilomastix, Chlamydia_trachomatis, Chlamydiaceae, Ciliata, Cilioflagellata, Ciliophora, Cnidosporidia, Coccidia, Costia_necatrix, Cyanophyta, Dinoflagellata, Eimeriidae, Endamoeba, Endamoeba_histolytica, Endamoebidae, Flagellata, Foraminifera, Globigerinidae, Gregarinida, Haemoproteidae, Haemoproteus, Haemosporidia, Haplosporidia, Heliozoa, Hexamita, Hypermastigina, Infusoria, Leishmania, Mastigophora, Mycrosporidia, Myxosporidia, Noctiluca_miliaris, Nummulitidae, Peridiniidae, Peridinium, Polymastigina, Protista, Protoctista, Protozoa, Radiolaria, Rhizopoda, Sarcocystis...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3394-3395
No TPTP formula. May not be expressible in strict first order. Merge.kif 14191-14192
No TPTP formula. May not be expressible in strict first order. pictureList.kif 867-867
No TPTP formula. May not be expressible in strict first order. Merge.kif 14190-14190 Microorganism is a subclass of organism

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14194-14194 Bacterium is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order. WMD.kif 1605-1605 Malarial plasmodium is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5945-5945 Protozoa is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14217-14217 Virus is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 973-973
No TPTP formula. May not be expressible in strict first order. english_format.kif 1153-1153

appearance as argument number 5
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14096-14096 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5516-5525
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5490-5499
No TPTP formula. May not be expressible in strict first order. Food.kif 960-967


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners