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 10726-10726 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 10840-10841
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 10843-10843 Every hamstring muscle is initially part of a leg
(subclass HamstringMuscle Muscle) Mid-level-ontology.kif 10839-10839 Hamstring muscle is a subclass of muscle
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 10842-10842 A hamstring muscle is typically a part of a leg

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


(termFormat EnglishLanguage HamstringMuscle "ham") Mid-level-ontology.kif 10844-10844
(termFormat EnglishLanguage HamstringMuscle "hamstring muscle") Mid-level-ontology.kif 10845-10845


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