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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Intestinimonas
Intestinimonas(intestinimonas)

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


(documentation Intestinimonas EnglishLanguage "A Baterium found in the Intestine of Mammals.") Medicine.kif 4400-4401
(subclass Intestinimonas Bacterium) Medicine.kif 4399-4399 Intestinimonas is a subclass of bacterium

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


(termFormat EnglishLanguage Intestinimonas "intestinimonas") Medicine.kif 4402-4402

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


(=>
    (instance ?I Intestinimonas)
    (modalAttribute
        (exists (?IN)
            (and
                (instance ?IN Intestine)
                (located ?I ?IN))) Likely))
Medicine.kif 4404-4411


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 is open source software produced by Articulate Software and its partners