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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Microorganism

 Sigma KEE - Microorganism
Microorganism(microorganisme)

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 14345-14346
(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 14344-14344 Microorganisme est une sous-classe de organisme

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


(subclass Bacterium Microorganism) Merge.kif 14348-14348 Bact�rie est une sous-classe de microorganisme
(subclass MalarialPlasmodium Microorganism) WMD.kif 1614-1614 MalarialPlasmodium est une sous-classe de microorganisme
(subclass Protozoa Microorganism) Mid-level-ontology.kif 6239-6239 Protozoa est une sous-classe de microorganisme
(subclass Virus Microorganism) Merge.kif 14371-14371 Virus est une sous-classe de microorganisme
(termFormat ChineseLanguage Microorganism "微生物") chinese_format.kif 973-973
(termFormat EnglishLanguage Microorganism "microorganism") english_format.kif 1153-1153
(termFormat FrenchLanguage Microorganism "microorganisme") french_format.kif 650-650
(termFormat Hindi Microorganism "sUkshmajIva") terms-hindi.txt 181-181
(termFormat ItalianLanguage Microorganism "Microorganismo") terms-it.txt 182-182
(termFormat JapaneseLanguage Microorganism "微生物") japanese_format.kif 2334-2334
(termFormat PortugueseLanguage Microorganism "Microorganismo") portuguese_format.kif 602-602
(termFormat cz Microorganism "microorganism") terms-cz.txt 218-218
(termFormat ro Microorganism "microorganism") relations-ro.kif 671-671
(termFormat tg Microorganism "maliit na nilalang") terms-tg.txt 185-185

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


(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14250-14250 Organisme est compl�tement d�compos� en animal, plante, champignon, + microorganisme

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 5802-5811
(=>
    (instance ?DISEASE NonspecificDisease)
    (not
        (exists (?AGENT)
            (and
                (instance ?AGENT Microorganism)
                (forall (?VICTIM)
                    (=>
                        (attribute ?VICTIM ?DISEASE)
                        (located ?AGENT ?VICTIM)))))))		 Mid-level-ontology.kif 5776-5785
(=>
    (instance ?F Fermentation)
    (exists (?C ?M)
        (and
            (instance ?C Carbohydrate)
            (instance ?M Microorganism)
            (instrument ?F ?M)
            (resource ?F ?C))))		 Food.kif 2691-2698


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