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。") Merge.kif 14456-14457
(documentation Microorganism EnglishLanguage "An Organism that can be seen only with the aid of a microscope.") Merge.kif 14454-14455
(externalImage Microorganism "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Yellow_mite_%28Tydeidae%29_Lorryia_formosa_2_edit.jpg") pictureList.kif 867-867
(subclass Microorganism Organism) Merge.kif 14453-14453

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


(subclass Bacterium Microorganism) Merge.kif 14459-14459
(subclass MalarialPlasmodium Microorganism) WMD.kif 1463-1463
(subclass Protozoa Microorganism) Mid-level-ontology.kif 6085-6085
(subclass Virus Microorganism) Merge.kif 14483-14483
(termFormat ChineseLanguage Microorganism "微生物") chinese_format.kif 973-973
(termFormat EnglishLanguage Microorganism "microorganism") english_format.kif 660-660
(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 PortugueseLanguage Microorganism "Microorganismo") portuguese_format.kif 602-602
(termFormat ar Microorganism "مُتَعَضِّيَة مِجْهَرِيَّة") arabic_format.kif 386-386
(termFormat cz Microorganism "microorganism") terms-cz.txt 218-218
(termFormat tg Microorganism "maliit na nilalang") terms-tg.txt 185-185

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


(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14337-14337

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


(=>
    (and
        (instance ?I InfectiousDisease)
        (attribute ?A ?I))
    (exists (?P)
        (and
            (instance ?P PathologicProcess)
            (agent ?P ?O)
            (instance ?O Microorganism)
            (experiencer ?P ?A))))
Mid-level-ontology.kif 5984-5993
(=>
    (instance ?DISEASE NonspecificDisease)
    (not
        (exists (?AGENT)
            (and
                (instance ?AGENT Microorganism)
                (forall (?VICTIM)
                    (=>
                        (attribute ?VICTIM ?DISEASE)
                        (located ?AGENT ?VICTIM)))))))
Mid-level-ontology.kif 5966-5974
(=>
    (instance ?F Fermentation)
    (exists (?C ?M)
        (and
            (instance ?C Carbohydrate)
            (instance ?M Microorganism)
            (instrument ?F ?M)
            (resource ?F ?C))))
Food.kif 1015-1022


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners