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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 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 Microorganisme est une sous-classe de organisme

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


(subclass Bacterium Microorganism) Merge.kif 14608-14608 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 7204-7204 Protozoa est une sous-classe de microorganisme
(subclass Virus Microorganism) Merge.kif 14631-14631 Virus est une sous-classe de microorganisme
(termFormat ChineseLanguage Microorganism "微生物") chinese_format.kif 973-973 Virus est une sous-classe de microorganisme
(termFormat EnglishLanguage Microorganism "microorganism") english_format.kif 1153-1153 Virus est une sous-classe de microorganisme
(termFormat FrenchLanguage Microorganism "microorganisme") french_format.kif 650-650 Virus est une sous-classe de microorganisme
(termFormat Hindi Microorganism "sUkshmajIva") terms-hindi.txt 181-181 Virus est une sous-classe de microorganisme
(termFormat ItalianLanguage Microorganism "Microorganismo") terms-it.txt 184-184 Virus est une sous-classe de microorganisme
(termFormat JapaneseLanguage Microorganism "微生物") japanese_format.kif 2334-2334 Virus est une sous-classe de microorganisme
(termFormat PortugueseLanguage Microorganism "Microorganismo") portuguese_format.kif 602-602 Virus est une sous-classe de microorganisme
(termFormat cz Microorganism "microorganism") terms-cz.txt 218-218 Virus est une sous-classe de microorganisme
(termFormat de Microorganism "Mikroorganismus") terms-de.txt 477-477 Virus est une sous-classe de microorganisme
(termFormat ro Microorganism "microorganism") relations-ro.kif 671-671 Virus est une sous-classe de microorganisme
(termFormat tg Microorganism "maliit na nilalang") terms-tg.txt 185-185 Virus est une sous-classe de microorganisme

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


(domainSubclass InfectionFn 1 Microorganism) Medicine.kif 2000-2000 Le nombre 1 argument de InfectionFn est une sous-classe de microorganisme

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


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

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