![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |