Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Intestinimonas
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Intestinimonas Bacterium) | Medicine.kif 4432-4432 | Intestinimonas is a subclass of bacterium |
| (documentation Intestinimonas EnglishLanguage "A Baterium found in the Intestine of Mammals.") | Medicine.kif 4433-4434 | Intestinimonas is a subclass of bacterium |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Intestinimonas "intestinimonas") | Medicine.kif 4435-4435 |
| antecedent |
|
|
| (=> (instance ?I Intestinimonas) (modalAttribute (exists (?IN) (and (instance ?IN Intestine) (located ?I ?IN))) Likely)) |
Medicine.kif 4437-4444 | If X is an instance of intestinimonas, then the statement there exists Y such that Y is an instance of intestine and X is located at Y has the modal force of likely |
|