EscherichiaColi - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EscherichiaColi Bacterium)	Medicine.kif 5483-5483	E. coli is a subclass of bacterium
(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 5485-5499	E. coli is a subclass of bacterium

appearance as argument number 2

(termFormat EnglishLanguage EscherichiaColi "Escherichia coli")	Medicine.kif 5501-5501
(termFormat EnglishLanguage EscherichiaColi "E. coli")	Medicine.kif 5502-5502

antecedent

(=> (instance ?E EscherichiaColi) (attribute ?E GramNegative))	Medicine.kif 5504-5506	If X is an instance of E. coli, then Gram-negative is an attribute of X
(=> (instance ?E EscherichiaColi) (cellShape ?E Cylinder))	Medicine.kif 5508-5510	If X is an instance of E. coli, then X cells are shaped like a cylinder

consequent

(=>
    (and
        (instance ?I Intestine)
        (instance ?A Animal)
        (part ?I ?A))
    (modalAttribute
        (exists (?E)
            (and
                (instance ?E EscherichiaColi)
                (contains ?I ?E))) Likely))

If X is an instance of intestine, Y is an instance of animal, and X is a part of Y, then the statement there exists Z such that Z is an instance of E. coli and X contains Z has the modal force of likely