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


KB Term:  Term intersection
English Word: 

Sigma KEE - FaecalibacteriumPrausnitzii
FaecalibacteriumPrausnitzii(faecalibacterium prausnitzii)

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


(subclass FaecalibacteriumPrausnitzii Bacterium) Medicine.kif 5296-5296 Faecalibacterium prausnitzii is a subclass of bacterium
(documentation FaecalibacteriumPrausnitzii EnglishLanguage "Faecalibacterium prausnitzii is gram-positive, mesophilic, rod-shaped, anaerobic and is one of the most abundant and important commensal bacteria of the human gut microbiota. It is non-spore forming and non-motile. These bacteria produce butyrate and other short-chain fatty acids through the fermentation of dietary fiber.[from Wikipedia]") Medicine.kif 5298-5303 Faecalibacterium prausnitzii is a subclass of bacterium

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


(termFormat EnglishLanguage FaecalibacteriumPrausnitzii "faecalibacterium prausnitzii") Medicine.kif 5305-5305

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


(=>
    (instance ?F FaecalibacteriumPrausnitzii)
    (modalAttribute
        (exists (?H ?G)
            (and
                (instance ?H Human)
                (instance ?G GastroIntestinalTract)
                (part ?G ?H)
                (located ?F ?G))) Likely))
Medicine.kif 5307-5316 If X is an instance of faecalibacterium prausnitzii, then the statement there exist Y, Z such that Y is an instance of human, Z is an instance of GI, Z is a part of Y, and X is located at Z has the modal force of likely


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners