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 14590-14591
(externalImage Microorganism "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Yellow_mite_%28Tydeidae%29_Lorryia_formosa_2_edit.jpg") pictureList.kif 866-866
(subclass Microorganism Organism) Merge.kif 14589-14589 Microorganism is a subclass of organism

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


(subclass Bacterium Microorganism) Merge.kif 14593-14593 Bacterium is a subclass of microorganism
(subclass MalarialPlasmodium Microorganism) WMD.kif 1614-1614 Malarial plasmodium is a subclass of microorganism
(subclass Protozoa Microorganism) Mid-level-ontology.kif 7223-7223 Protozoa is a subclass of microorganism
(subclass Virus Microorganism) Merge.kif 14616-14616 Virus is a subclass of microorganism
(termFormat ChineseLanguage Microorganism "微生物") chinese_format.kif 973-973 Virus is a subclass of microorganism
(termFormat EnglishLanguage Microorganism "microorganism") english_format.kif 1153-1153 Virus is a subclass of microorganism
(termFormat FrenchLanguage Microorganism "microorganisme") french_format.kif 650-650 Virus is a subclass of microorganism
(termFormat Hindi Microorganism "sUkshmajIva") terms-hindi.txt 181-181 Virus is a subclass of microorganism
(termFormat ItalianLanguage Microorganism "Microorganismo") terms-it.txt 184-184 Virus is a subclass of microorganism
(termFormat JapaneseLanguage Microorganism "微生物") japanese_format.kif 2334-2334 Virus is a subclass of microorganism
(termFormat PortugueseLanguage Microorganism "Microorganismo") portuguese_format.kif 602-602 Virus is a subclass of microorganism
(termFormat cz Microorganism "microorganism") terms-cz.txt 218-218 Virus is a subclass of microorganism
(termFormat de Microorganism "Mikroorganismus") terms-de.txt 477-477 Virus is a subclass of microorganism
(termFormat ro Microorganism "microorganism") relations-ro.kif 671-671 Virus is a subclass of microorganism
(termFormat tg Microorganism "maliit na nilalang") terms-tg.txt 185-185 Virus is a subclass of microorganism

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


(domainSubclass InfectionFn 1 Microorganism) Medicine.kif 2000-2000 The number 1 argument of infection is a subclass of microorganism

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


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

antecedent
-------------------------


(=>
    (and
        (attribute ?G ToxicandInfectiousSubstance)
        (or
            (instance ?G Substance)
            (instance ?G Microorganism)))
    (exists (?O ?P ?I ?CLASS)
        (and
            (or
                (instance ?O Human)
                (instance ?O Animal))
            (orientation ?G ?O Near)
            (or
                (instance ?P Inhaling)
                (instance ?P Ingesting)
                (instance ?P Touching))
            (agent ?P ?O)
            (patient ?P ?G)
            (causes ?P ?I)
            (patient ?I ?O)
            (instance ?I ?CLASS)
            (capability ?CLASS resource ?G)
            (or
                (subclass ?CLASS Injuring)
                (subclass ?CLASS Death)))))
Transportation.kif 4201-4225

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


(=>
    (and
        (instance ?I InfectiousDisease)
        (attribute ?A ?I))
    (exists (?P ?O)
        (and
            (instance ?P PathologicProcess)
            (agent ?P ?O)
            (instance ?O Microorganism)
            (experiencer ?P ?A))))
Mid-level-ontology.kif 6786-6795
(=>
    (instance ?DISEASE NonspecificDisease)
    (not
        (exists (?AGENT)
            (and
                (instance ?AGENT Microorganism)
                (forall (?VICTIM)
                    (=>
                        (attribute ?VICTIM ?DISEASE)
                        (located ?AGENT ?VICTIM)))))))
Mid-level-ontology.kif 6760-6769
(=>
    (instance ?F Fermentation)
    (exists (?C ?M)
        (and
            (instance ?C Carbohydrate)
            (instance ?M Microorganism)
            (instrument ?F ?M)
            (resource ?F ?C))))
Food.kif 3554-3561


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 3.0 is open source software produced by Articulate Software and its partners