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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bacterium

 Sigma KEE - Bacterium
Bacterium(bact�rie)

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 14515-14516
(externalImage Bacterium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Cholera_bacteria_SEM.jpg") pictureList.kif 942-942
(subclass Bacterium Microorganism) Merge.kif 14514-14514 Bact�rie est une sous-classe de microorganisme

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


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

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


(=>
    (and
        (instance ?BACTERIUM Bacterium)
        (inhabits ?BACTERIUM ?OBJ))
    (instance ?OBJ Organism))		 Merge.kif 14531-14535
(=>
    (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 14518-14529
(=>
    (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 5065-5074
(=>
    (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 5362-5367
(=>
    (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 2219-2229


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