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 14452-14453
No TPTP formula. May not be expressible in strict first order. pictureList.kif 866-866
No TPTP formula. May not be expressible in strict first order. Merge.kif 14451-14451 Microorganism is a subclass of organism

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14455-14455 Bacterium is a subclass of microorganism
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. Mid-level-ontology.kif 6267-6267 Protozoa is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14478-14478 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 650-650
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 181-181
No TPTP formula. May not be expressible in strict first order. terms-it.txt 184-184
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2334-2334
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 602-602
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 218-218
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 671-671
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 185-185

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2000-2000 The number 1 argument of InfectionFn is a subclass of microorganism

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14357-14357 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 5830-5839
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5804-5813
No TPTP formula. May not be expressible in strict first order. Food.kif 3547-3554


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