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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExternalIntercostalsMuscle
ExternalIntercostalsMuscle

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


(antagonistMuscles ExternalIntercostalsMuscle InternalIntercostalsMuscle) Muscles.kif 1026-1026
(documentation ExternalIntercostalsMuscle EnglishLanguage "The ExternalIntercostalsMuscle controls inhalation.") Muscles.kif 1016-1016
(muscleInsertion ExternalIntercostalsMuscle SuperiorBorderOfRibBelow) Muscles.kif 1013-1013
(muscleOrigin ExternalIntercostalsMuscle InferiorBorderOfRibAbove) Muscles.kif 1012-1012
(subclass ExternalIntercostalsMuscle Muscle) Muscles.kif 1010-1010

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


(antagonistMuscles InternalIntercostalsMuscle ExternalIntercostalsMuscle) Muscles.kif 1017-1017
(ennervates IntercostalNerves ExternalIntercostalsMuscle) Muscles.kif 1015-1015
(suppliesBlood IntercostalArteries ExternalIntercostalsMuscle) Muscles.kif 1014-1014
(termFormat EnglishLanguage ExternalIntercostalsMuscle "external intercostals muscle") Muscles.kif 1011-1011


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