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 14605-14606
(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 14604-14604 微生物subclass では

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


(subclass Bacterium Microorganism) Merge.kif 14608-14608 細菌微生物subclass では
(subclass MalarialPlasmodium Microorganism) WMD.kif 1614-1614 MalarialPlasmodium微生物subclass では
(subclass Protozoa Microorganism) Mid-level-ontology.kif 7204-7204 Protozoa微生物subclass では
(subclass Virus Microorganism) Merge.kif 14631-14631 ウイルス微生物subclass では
(termFormat ChineseLanguage Microorganism "微生物") chinese_format.kif 973-973 ウイルス微生物subclass では
(termFormat EnglishLanguage Microorganism "microorganism") english_format.kif 1153-1153 ウイルス微生物subclass では
(termFormat FrenchLanguage Microorganism "microorganisme") french_format.kif 650-650 ウイルス微生物subclass では
(termFormat Hindi Microorganism "sUkshmajIva") terms-hindi.txt 181-181 ウイルス微生物subclass では
(termFormat ItalianLanguage Microorganism "Microorganismo") terms-it.txt 184-184 ウイルス微生物subclass では
(termFormat JapaneseLanguage Microorganism "微生物") japanese_format.kif 2334-2334 ウイルス微生物subclass では
(termFormat PortugueseLanguage Microorganism "Microorganismo") portuguese_format.kif 602-602 ウイルス微生物subclass では
(termFormat cz Microorganism "microorganism") terms-cz.txt 218-218 ウイルス微生物subclass では
(termFormat de Microorganism "Mikroorganismus") terms-de.txt 477-477 ウイルス微生物subclass では
(termFormat ro Microorganism "microorganism") relations-ro.kif 671-671 ウイルス微生物subclass では
(termFormat tg Microorganism "maliit na nilalang") terms-tg.txt 185-185 ウイルス微生物subclass では

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 14510-14510 動物, 植物, 菌類, + 微生物exhaustively partitioned

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

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 6767-6776
(=>
    (instance ?DISEASE NonspecificDisease)
    (not
        (exists (?AGENT)
            (and
                (instance ?AGENT Microorganism)
                (forall (?VICTIM)
                    (=>
                        (attribute ?VICTIM ?DISEASE)
                        (located ?AGENT ?VICTIM)))))))
Mid-level-ontology.kif 6741-6750
(=>
    (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