Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Bacterium Microorganism) Merge.kif 14767-14767 Bacterium is a subclass of microorganism
(documentation Bacterium EnglishLanguage "A small, typically one_celled, prokaryotic Microorganism.") Merge.kif 14768-14769 Bacterium is a subclass of microorganism
(externalImage Bacterium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Cholera_bacteria_SEM.jpg") pictureList.kif 942-942 Bacterium is a subclass of microorganism

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


(subclass Borrelia Bacterium) Medicine.kif 1410-1410 Borrelia is a subclass of bacterium
(subclass Staphylococcus Bacterium) Medicine.kif 1967-1967 Staphylococcus is a subclass of bacterium
(subclass IntestinibacterBartlettii Bacterium) Medicine.kif 4249-4249 Intestinibacter bartlettii is a subclass of bacterium
(subclass Intestinimonas Bacterium) Medicine.kif 4432-4432 Intestinimonas is a subclass of bacterium
(subclass FaecalibacteriumPrausnitzii Bacterium) Medicine.kif 5296-5296 Faecalibacterium prausnitzii is a subclass of bacterium
(subclass EscherichiaColi Bacterium) Medicine.kif 5483-5483 E. coli is a subclass of bacterium
(subclass BacterialAgent Bacterium) WMD.kif 193-193 Bacterial agent is a subclass of bacterium
(termFormat EnglishLanguage Bacterium "bacterium") english_format.kif 1159-1159 Bacterial agent is a subclass of bacterium

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


(=>
    (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 14771-14782 If X is an instance of bacterium, then there exists Y such that Y is a component of X, Y is an instance of cell, Z Z is a component of X, Z is an instance of cellequal Y, and Z
(=>
    (and
        (instance ?BACTERIUM Bacterium)
        (inhabits ?BACTERIUM ?OBJ))
    (instance ?OBJ Organism))		 Merge.kif 14784-14788 If X is an instance of bacterium and X lives in Y, then Y is an instance of organism
(=>
    (instance ?BACTERIUM Bacterium)
    (exists (?NUMBER)
        (and
            (width ?BACTERIUM
                (MeasureFn ?NUMBER Meter))
            (greaterThanOrEqualTo ?NUMBER 0.000001)
            (lessThanOrEqualTo ?NUMBER 0.000002))))		 WMD.kif 199-205 If X is an instance of bacterium, then there exists Y such that the width of X is Y meter(s) and Y is greater than or equal to 0.000001 and Y is less than or equal to 0.000002

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


(=>
    (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 2825-2835 If X is an instance of toothbrush, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of tooth (3) X is an instrument for Y (4) Y is an instance of killing (5) Z is an instance of bacterium (6) Z is a patient of Y (7) W is a patient of Y
(=>
    (attribute ?H Pyelonephritis)
    (modalAttribute
        (exists (?B ?K)
            (and
                (instance ?B Bacterium)
                (instance ?K Kidney)
                (part ?K ?H)
                (located ?B ?K))) Likely))		 Medicine.kif 5086-5095 If urosepsis is an attribute of X, then the statement there exist Y, Z such that Y is an instance of bacterium, Z is an instance of kidney, Z is a part of X, and Y is located at Z has the modal force of likely
(=>
    (instance ?G GramStaining)
    (exists (?B)
        (and
            (instance ?B Bacterium)
            (patient ?G ?B))))		 Medicine.kif 5384-5389 If X is an instance of Gram stain, then there exists Y such that Y is an instance of bacterium and Y is a patient of X
(=>
    (instance ?ANTIBIOTIC Antibiotic)
    (exists (?KILL ?BACTERIUM)
        (capability
            (KappaFn ?KILL
                (and
                    (instance ?KILL Killing)
                    (patient ?KILL ?BACTERIUM)
                    (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC)))		 WMD.kif 1260-1268 If X is an instance of antibiotic, then there exist Y and Z such that X is capable of doing the class described by Y as a agent


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners