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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bacterium
Bacterium(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 14530-14531
(externalImage Bacterium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Cholera_bacteria_SEM.jpg") pictureList.kif 942-942
(subclass Bacterium Microorganism) Merge.kif 14529-14529 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 5449-5449 E. coli is a subclass of bacterium
(subclass FaecalibacteriumPrausnitzii Bacterium) Medicine.kif 5262-5262 Faecalibacterium prausnitzii is a subclass of bacterium
(subclass Intestinimonas Bacterium) Medicine.kif 4399-4399 Intestinimonas is a subclass of bacterium
(subclass Staphylococcus Bacterium) Medicine.kif 1967-1967 Staphylococcus is a subclass of bacterium
(termFormat ChineseLanguage Bacterium "细菌") chinese_format.kif 974-974 Staphylococcus is a subclass of bacterium
(termFormat EnglishLanguage Bacterium "bacterium") english_format.kif 1155-1155 Staphylococcus is a subclass of bacterium
(termFormat FrenchLanguage Bacterium "bact�rie") french_format.kif 651-651 Staphylococcus is a subclass of bacterium
(termFormat Hindi Bacterium "jIvaaNu") terms-hindi.txt 182-182 Staphylococcus is a subclass of bacterium
(termFormat ItalianLanguage Bacterium "Bacterio") terms-it.txt 185-185 Staphylococcus is a subclass of bacterium
(termFormat JapaneseLanguage Bacterium "細菌") japanese_format.kif 2335-2335 Staphylococcus is a subclass of bacterium
(termFormat PortugueseLanguage Bacterium "Bacteria") portuguese_format.kif 603-603 Staphylococcus is a subclass of bacterium
(termFormat cb Bacterium "kagaw") terms-cb.txt 187-187 Staphylococcus is a subclass of bacterium
(termFormat cz Bacterium "bacterium") terms-cz.txt 219-219 Staphylococcus is a subclass of bacterium
(termFormat de Bacterium "Bakterium") terms-de.txt 478-478 Staphylococcus is a subclass of bacterium
(termFormat ro Bacterium "bacterie") relations-ro.kif 672-672 Staphylococcus is a subclass of bacterium
(termFormat tg Bacterium "sanhi ng sakit") terms-tg.txt 186-186 Staphylococcus is a subclass of bacterium

antecedent
-------------------------


(=>
    (and
        (instance ?BACTERIUM Bacterium)
        (inhabits ?BACTERIUM ?OBJ))
    (instance ?OBJ Organism))		 Merge.kif 14546-14550
(=>
    (instance ?BACTERIUM Bacterium)
    (exists (?CELL1)
        (and
            (component ?CELL1 ?BACTERIUM)
            (instance ?CELL1 Cell)
            (forall (?CELL2)
                (=>
                    (and
                        (component ?CELL2 ?BACTERIUM)
                        (instance ?CELL2 Cell))
                    (equal ?CELL1 ?CELL2))))))		 Merge.kif 14533-14544
(=>
    (instance ?BACTERIUM Bacterium)
    (exists (?NUMBER)
        (and
            (width ?BACTERIUM
                (MeasureFn ?NUMBER Meter))
            (greaterThanOrEqualTo ?NUMBER 0.000001)
            (lessThanOrEqualTo ?NUMBER 0.000002))))		 WMD.kif 205-211

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


(=>
    (attribute ?H Pyelonephritis)
    (modalAttribute
        (exists (?B ?K)
            (and
                (instance ?B Bacterium)
                (instance ?K Kidney)
                (part ?K ?H)
                (located ?B ?K))) Likely))		 Medicine.kif 5053-5062
(=>
    (instance ?ANTIBIOTIC Antibiotic)
    (exists (?KILL ?BACTERIUM)
        (capability
            (KappaFn ?KILL
                (and
                    (instance ?KILL Killing)
                    (patient ?KILL ?BACTERIUM)
                    (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC)))		 WMD.kif 1264-1272
(=>
    (instance ?G GramStaining)
    (exists (?B)
        (and
            (instance ?B Bacterium)
            (patient ?G ?B))))		 Medicine.kif 5350-5355
(=>
    (instance ?T Toothbrush)
    (hasPurpose ?T
        (exists (?K ?B ?TOOTH)
            (and
                (instance ?TOOTH Tooth)
                (instrument ?K ?T)
                (instance ?K Killing)
                (instance ?B Bacterium)
                (patient ?K ?B)
                (patient ?K ?TOOTH)))))		 Mid-level-ontology.kif 2292-2302


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