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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Microorganism
Microorganism(微生物)

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 14452-14453
(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 14451-14451 微生物生物subclass

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


(subclass Bacterium Microorganism) Merge.kif 14455-14455 细菌微生物subclass
(subclass MalarialPlasmodium Microorganism) WMD.kif 1614-1614 疟疾疟原虫微生物subclass
(subclass Protozoa Microorganism) Mid-level-ontology.kif 6267-6267 原生动物微生物subclass
(subclass Virus Microorganism) Merge.kif 14478-14478 病毒微生物subclass
(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 184-184
(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 3
-------------------------


(domainSubclass InfectionFn 1 Microorganism) Medicine.kif 2000-2000 InfectionFn 的 1 数量 是 微生物subclass

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


(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14357-14357 生物 详尽无遗地 partition动物, 植物, 菌类, 和 微生物

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 5830-5839
(=>
    (instance ?DISEASE NonspecificDisease)
    (not
        (exists (?AGENT)
            (and
                (instance ?AGENT Microorganism)
                (forall (?VICTIM)
                    (=>
                        (attribute ?VICTIM ?DISEASE)
                        (located ?AGENT ?VICTIM)))))))
Mid-level-ontology.kif 5804-5813
(=>
    (instance ?F Fermentation)
    (exists (?C ?M)
        (and
            (instance ?C Carbohydrate)
            (instance ?M Microorganism)
            (instrument ?F ?M)
            (resource ?F ?C))))
Food.kif 3547-3554


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