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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HamstringMuscle

 Sigma KEE - HamstringMuscle
HamstringMuscle(hamstring muscle)

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


(antagonistMuscles HamstringMuscle QuadricepsFemorisMuscle) Muscles.kif 1834-1834 Hamstring muscle and quadriceps femoris muscle are antagonist muscles
(antagonistMuscles HamstringMuscle RectusFemorisMuscle) Muscles.kif 1843-1843 Hamstring muscle and rectus femoris muscle are antagonist muscles
(antagonistMuscles HamstringMuscle ThighMuscle) Mid-level-ontology.kif 10699-10699 Hamstring muscle and quadriceps are antagonist muscles
(antagonistMuscles HamstringMuscle VastusIntermediusMuscle) Muscles.kif 1861-1861 Hamstring muscle and vastus intermedius muscle are antagonist muscles
(antagonistMuscles HamstringMuscle VastusLateralisMuscle) Muscles.kif 1852-1852 Hamstring muscle and vastus lateralis muscle are antagonist muscles
(antagonistMuscles HamstringMuscle VastusMedialisMuscle) Muscles.kif 1870-1870 Hamstring muscle and vastus medialis muscle are antagonist muscles
(documentation HamstringMuscle EnglishLanguage "Any of the three Muscles at the back of and working in opposition to the ThighMuscle.") Mid-level-ontology.kif 10813-10814
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10816-10816 Every hamstring muscle is initially part of a leg
(subclass HamstringMuscle Muscle) Mid-level-ontology.kif 10812-10812 Hamstring muscle is a subclass of muscle
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 10815-10815 A hamstring muscle is typically a part of a leg

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


(termFormat EnglishLanguage HamstringMuscle "ham") Mid-level-ontology.kif 10817-10817
(termFormat EnglishLanguage HamstringMuscle "hamstring muscle") Mid-level-ontology.kif 10818-10818


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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