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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Bacterium
Actinomycetaceae, Actinomycetales, Aerobacter, Aerobacter_aerogenes, Agrobacterium, Agrobacterium_tumefaciens, Athiorhodaceae, B, Bacillaceae, Bacillus_globigii, Bacillus_subtilis, Bacteroidaceae, Bacteroides, Borrelia_burgdorferi, Calymmatobacterium, Calymmatobacterium_granulomatis, Corynebacteriaceae, Cyanophyceae, Diplococcus_pneumoniae, E._coli, Enterobacteriaceae, Escherichia_coli, Eubacteriales, Francisella, Gartner's_bacillus, Gram-negative, Gram-positive, H._pylori, Heliobacter, Heliobacter_pylori, L._monocytogenes, Lactobacillaceae, Lactobacillus_acidophilus, Lactobacteriaceae, Lime_disease_spirochete, Listeria_monocytogenes, Micrococcaceae, Micrococcus, Monera, Mycobacteriaceae, Mycobacterium_leprae, Mycoplasmataceae, Mycoplasmatales, Myxobacterales, Myxobacteriaceae, Myxobacteriales, Myxophyceae, Nitrobacter, Nitrobacteriaceae, Nitrosomonas...

appearance as argument number 1

(documentation Bacterium ChineseLanguage "这是一种细小、一般为单细胞和原核的 Microorganism。") chinese_format.kif 3396-3396
(documentation Bacterium EnglishLanguage "A small, typically one-celled, prokaryotic Microorganism.") Merge.kif 14456-14457
(externalImage Bacterium " 9/ 9d/ Cholera_bacteria_SEM.jpg") pictureList.kif 942-942
(subclass Bacterium Microorganism) Merge.kif 14455-14455 Bacterium is a subclass of microorganism

appearance as argument number 2

(subclass BacterialAgent Bacterium) WMD.kif 199-199 Bacterial agent is a subclass of bacterium
(subclass EscherichiaColi Bacterium) Medicine.kif 5461-5461 E. coli is a subclass of bacterium
(subclass FaecalibacteriumPrausnitzii Bacterium) Medicine.kif 5274-5274 Faecalibacterium prausnitzii is a subclass of bacterium
(subclass Intestinimonas Bacterium) Medicine.kif 4411-4411 Intestinimonas is a subclass of bacterium
(subclass Staphylococcus Bacterium) Medicine.kif 1979-1979 Staphylococcus is a subclass of bacterium
(termFormat ChineseLanguage Bacterium "细菌") chinese_format.kif 974-974
(termFormat EnglishLanguage Bacterium "bacterium") english_format.kif 1155-1155
(termFormat FrenchLanguage Bacterium "bact�rie") french_format.kif 651-651
(termFormat Hindi Bacterium "jIvaaNu") terms-hindi.txt 182-182
(termFormat ItalianLanguage Bacterium "Bacterio") terms-it.txt 185-185
(termFormat JapaneseLanguage Bacterium "細菌") japanese_format.kif 2335-2335
(termFormat PortugueseLanguage Bacterium "Bacteria") portuguese_format.kif 603-603
(termFormat cb Bacterium "kagaw") terms-cb.txt 187-187
(termFormat cz Bacterium "bacterium") terms-cz.txt 219-219
(termFormat ro Bacterium "bacterie") relations-ro.kif 672-672
(termFormat tg Bacterium "sanhi ng sakit") terms-tg.txt 186-186


        (instance ?BACTERIUM Bacterium)
        (inhabits ?BACTERIUM ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14472-14476
    (instance ?BACTERIUM Bacterium)
    (exists (?CELL1)
            (component ?CELL1 ?BACTERIUM)
            (instance ?CELL1 Cell)
            (forall (?CELL2)
                        (component ?CELL2 ?BACTERIUM)
                        (instance ?CELL2 Cell))
                    (equal ?CELL1 ?CELL2))))))
Merge.kif 14459-14470
    (instance ?BACTERIUM Bacterium)
    (exists (?NUMBER)
            (width ?BACTERIUM
                (MeasureFn ?NUMBER Meter))
            (greaterThanOrEqualTo ?NUMBER 0.000001)
            (lessThanOrEqualTo ?NUMBER 0.000002))))
WMD.kif 205-211


    (attribute ?H Pyelonephritis)
        (exists (?B ?K)
                (instance ?B Bacterium)
                (instance ?K Kidney)
                (part ?K ?H)
                (located ?B ?K))) Likely))
Medicine.kif 5065-5074
    (instance ?ANTIBIOTIC Antibiotic)
    (exists (?KILL ?BACTERIUM)
            (KappaFn ?KILL
                    (instance ?KILL Killing)
                    (patient ?KILL ?BACTERIUM)
                    (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC)))
WMD.kif 1264-1272
    (instance ?G GramStaining)
    (exists (?B)
            (instance ?B Bacterium)
            (patient ?G ?B))))
Medicine.kif 5362-5367
    (instance ?T Toothbrush)
    (hasPurpose ?T
        (exists (?K ?B ?TOOTH)
                (instance ?TOOTH Tooth)
                (instrument ?K ?T)
                (instance ?K Killing)
                (instance ?B Bacterium)
                (patient ?K ?B)
                (patient ?K ?TOOTH)))))
Mid-level-ontology.kif 2226-2236

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