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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EscherichiaColi
EscherichiaColi

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


(documentation EscherichiaColi EnglishLanguage "Escherichia coli is a GramNegative, facultative anaerobic, rod-shaped, coliform Bacterium of the genus Escherichia that is commonly found in the lower Intestine of warm-blooded organisms (endotherms). Most E. coli strains are harmless, but some serotypes (EPEC, ETEC etc.) can cause serious food poisoning in their hosts, and are occasionally responsible for food contamination incidents that prompt product recalls. The harmless strains are part of the normal microbiota of the gut, and can benefit their hosts by producing vitamin K2, (which helps blood to clot) and preventing colonisation of the intestine with pathogenic bacteria, having a mutualistic relationship. E. coli is expelled into the environment within Feces. The bacterium grows massively in fresh fecal matter under aerobic conditions for 3 days, but its numbers decline slowly afterwards.[from Wikipedia]") Medicine.kif 5463-5477
(subclass EscherichiaColi Bacterium) Medicine.kif 5461-5461 EscherichiaColi細菌subclass では %n

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


(termFormat EnglishLanguage EscherichiaColi "E. coli") Medicine.kif 5480-5480
(termFormat EnglishLanguage EscherichiaColi "Escherichia coli") Medicine.kif 5479-5479

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


(=>
    (instance ?E EscherichiaColi)
    (attribute ?E GramNegative))
Medicine.kif 5482-5484
(=>
    (instance ?E EscherichiaColi)
    (cellShape ?E Cylinder))
Medicine.kif 5486-5488

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


(=>
    (and
        (instance ?I Intestine)
        (instance ?A Animal)
        (part ?I ?A))
    (modalAttribute
        (exists (?E)
            (and
                (instance ?E EscherichiaColi)
                (contains ?I ?E))) Likely))
Medicine.kif 5490-5500


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 is open source software produced by Articulate Software and its partners