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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternalIntercostalsMuscle
InternalIntercostalsMuscle

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


(antagonistMuscles InternalIntercostalsMuscle ExternalIntercostalsMuscle) Muscles.kif 1017-1017
(documentation InternalIntercostalsMuscle EnglishLanguage "The InternalIntercostalsMuscle holds Ribs steady.") Muscles.kif 1025-1025
(muscleInsertion InternalIntercostalsMuscle SuperiorBorderOfRibBelow) Muscles.kif 1022-1022
(muscleOrigin InternalIntercostalsMuscle InferiorBorderOfRibAbove) Muscles.kif 1021-1021
(subclass InternalIntercostalsMuscle Muscle) Muscles.kif 1019-1019

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


(antagonistMuscles ExternalIntercostalsMuscle InternalIntercostalsMuscle) Muscles.kif 1026-1026
(ennervates IntercostalNerves InternalIntercostalsMuscle) Muscles.kif 1024-1024
(suppliesBlood IntercostalArteries InternalIntercostalsMuscle) Muscles.kif 1023-1023
(termFormat EnglishLanguage InternalIntercostalsMuscle "internal intercostals muscle") Muscles.kif 1020-1020


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