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

KB Term:  Term intersection
English Word: 

Sigma KEE - Bacterium
Bacterium

appearance as argument number 1
-------------------------


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

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


(subclass Borrelia Bacterium) Medicine.kif 1410-1410
(subclass Staphylococcus Bacterium) Medicine.kif 1967-1967
(subclass IntestinibacterBartlettii Bacterium) Medicine.kif 4249-4249
(subclass Intestinimonas Bacterium) Medicine.kif 4432-4432
(subclass FaecalibacteriumPrausnitzii Bacterium) Medicine.kif 5296-5296
(subclass EscherichiaColi Bacterium) Medicine.kif 5483-5483
(subclass BacterialAgent Bacterium) WMD.kif 193-193
(termFormat EnglishLanguage Bacterium "bacterium") english_format.kif 1159-1159

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
(=>
    (and
        (instance ?BACTERIUM Bacterium)
        (inhabits ?BACTERIUM ?OBJ))
    (instance ?OBJ Organism))		 Merge.kif 14784-14788
(=>
    (instance ?BACTERIUM Bacterium)
    (exists (?NUMBER)
        (and
            (width ?BACTERIUM
                (MeasureFn ?NUMBER Meter))
            (greaterThanOrEqualTo ?NUMBER 0.000001)
            (lessThanOrEqualTo ?NUMBER 0.000002))))		 WMD.kif 199-205

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
(=>
    (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
(=>
    (instance ?G GramStaining)
    (exists (?B)
        (and
            (instance ?B Bacterium)
            (patient ?G ?B))))		 Medicine.kif 5384-5389
(=>
    (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


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners