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 4419-4420
(subclass Intestinimonas Bacterium) Medicine.kif 4418-4418 Intestinimonas is a subclass of bacterium

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


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

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


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


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