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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bacterium

Sigma KEE - Bacterium
Bacterium
وَحْدَانَات, بكْتِيريا, جُرْثُوم, جُرْثُومة, فصِيلة جراثِيم, فصِيلة بكْتِيرْيا, جِنْس بكْتِيرْيا, بكْتِيريا اِنْقِسامِيّة, بكْتِيرْيا حقِيقِيّة, جُرْثُمة, ...

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


(documentation Bacterium ChineseLanguage "这是一种细小、一般为单细胞和原核的 Microorganism。") Merge.kif 14462-14462
(documentation Bacterium EnglishLanguage "A small, typically one-celled, prokaryotic Microorganism.") Merge.kif 14460-14461
(externalImage Bacterium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Cholera_bacteria_SEM.jpg") pictureList.kif 943-943
(subclass Bacterium Microorganism) Merge.kif 14459-14459

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


(subclass BacterialAgent Bacterium) WMD.kif 199-199
(termFormat ChineseLanguage Bacterium "细菌") chinese_format.kif 974-974
(termFormat EnglishLanguage Bacterium "bacterium") english_format.kif 661-661
(termFormat FrenchLanguage Bacterium "bact�rie") french_format.kif 651-651
(termFormat Hindi Bacterium "jIvaaNu") terms-hindi.txt 182-182
(termFormat ItalianLanguage Bacterium "Bacterio") terms-it.txt 183-183
(termFormat PortugueseLanguage Bacterium "Bacteria") portuguese_format.kif 603-603
(termFormat ar Bacterium "بَكْتِيريَا") arabic_format.kif 387-387
(termFormat cb Bacterium "kagaw") terms-cb.txt 187-187
(termFormat cz Bacterium "bacterium") terms-cz.txt 219-219
(termFormat tg Bacterium "sanhi ng sakit") terms-tg.txt 186-186

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


(=>
    (and
        (instance ?BACTERIUM Bacterium)
        (inhabits ?BACTERIUM ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14477-14481
(=>
    (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 14464-14475
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners