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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


(documentation Microorganism ChineseLanguage "这是一种只能在显微镜的辅助下,才能看得见的 Organism。") chinese_format.kif 3394-3395
(documentation Microorganism EnglishLanguage "An Organism that can be seen only with the aid of a microscope.") Merge.kif 13400-13401
(externalImage Microorganism "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Yellow_mite_%28Tydeidae%29_Lorryia_formosa_2_edit.jpg") pictureList.kif 867-867
(subclass Microorganism Organism) Merge.kif 13399-13399 Microorganism is a subclass of organism

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


(subclass Bacterium Microorganism) Merge.kif 13403-13403 Bacterium is a subclass of microorganism
(subclass MalarialPlasmodium Microorganism) WMD.kif 1480-1480 Malarial plasmodium is a subclass of microorganism
(subclass Protozoa Microorganism) Mid-level-ontology.kif 6091-6091 Protozoa is a subclass of microorganism
(subclass Virus Microorganism) Merge.kif 13426-13426 Virus is a subclass of microorganism
(termFormat ChineseLanguage Microorganism "微生物") chinese_format.kif 973-973
(termFormat EnglishLanguage Microorganism "microorganism") english_format.kif 1158-1158

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


(partition Organism Animal Plant Fungus Microorganism) Merge.kif 13305-13305 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism

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


(=>
    (and
        (instance ?I InfectiousDisease)
        (attribute ?A ?I))
    (exists (?P)
        (and
            (instance ?P PathologicProcess)
            (agent ?P ?O)
            (instance ?O Microorganism)
            (experiencer ?P ?A))))
Mid-level-ontology.kif 5990-5999
(=>
    (instance ?DISEASE NonspecificDisease)
    (not
        (exists (?AGENT)
            (and
                (instance ?AGENT Microorganism)
                (forall (?VICTIM)
                    (=>
                        (attribute ?VICTIM ?DISEASE)
                        (located ?AGENT ?VICTIM)))))))
Mid-level-ontology.kif 5972-5980
(=>
    (instance ?F Fermentation)
    (exists (?C ?M)
        (and
            (instance ?C Carbohydrate)
            (instance ?M Microorganism)
            (instrument ?F ?M)
            (resource ?F ?C))))
Food.kif 970-977


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