Intestinimonas(intestinimonas) |
appearance as argument number 1 |
(documentation Intestinimonas EnglishLanguage "A Baterium found in the Intestine of Mammals.") | Medicine.kif 4412-4413 | |
(subclass Intestinimonas Bacterium) | Medicine.kif 4411-4411 | Intestinimonas is a subclass of bacterium |
appearance as argument number 2 |
(termFormat EnglishLanguage Intestinimonas "intestinimonas") | Medicine.kif 4414-4414 |
antecedent |
(=> (instance ?I Intestinimonas) (modalAttribute (exists (?IN) (and (instance ?IN Intestine) (located ?I ?IN))) Likely)) |
Medicine.kif 4416-4423 |
|