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。") Merge.kif 14520-14520
(documentation Bacterium EnglishLanguage "A small, typically one-celled, prokaryotic Microorganism.") Merge.kif 14518-14519
(externalImage Bacterium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Cholera_bacteria_SEM.jpg") pictureList.kif 943-943 "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Cholera_bacteria_SEM.jpg" is a URL depicting bacterium
(subclass Bacterium Microorganism) Merge.kif 14517-14517 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
(termFormat ChineseLanguage Bacterium "细菌") chinese_format.kif 974-974 "细菌" is the printable form of bacterium in ChineseLanguage
(termFormat EnglishLanguage Bacterium "bacterium") english_format.kif 988-988 "bacterium" is the printable form of bacterium in english language
(termFormat JapaneseLanguage Bacterium "細菌") english_format.kif 989-989 "細菌" is the printable form of bacterium in japanese language

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


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

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


(=>
    (instance ?ANTIBIOTIC Antibiotic)
    (capability
        (KappaFn ?KILL
            (and
                (instance ?KILL Killing)
                (patient ?KILL ?BACTERIUM)
                (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC))
WMD.kif 1168-1174
(=>
    (instance ?T Toothbrush)
    (hasPurpose ?T
        (exists (?K)
            (and
                (instance ?TOOTH Tooth)
                (instrument ?K ?T)
                (instance ?K Killing)
                (instance ?B Bacterium)
                (patient ?K ?B)
                (patient ?K ?TOOTH)))))
Mid-level-ontology.kif 2686-2696


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners