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



KB Term:  Term intersection
English Word: 

Sigma KEE - HamstringMuscle
HamstringMuscle(hamstring muscle)

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


(antagonistMuscles HamstringMuscle ThighMuscle) Mid-level-ontology.kif 12152-12152 Hamstring muscle and quadriceps are antagonist muscles
(subclass HamstringMuscle Muscle) Mid-level-ontology.kif 12269-12269 Hamstring muscle is a subclass of muscle
(documentation HamstringMuscle EnglishLanguage "Any of the three Muscles at the back of and working in opposition to the ThighMuscle.") Mid-level-ontology.kif 12270-12271 Hamstring muscle is a subclass of muscle
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 12272-12272 A hamstring muscle is typically a part of a leg
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 12273-12273 Every hamstring muscle is initially part of a leg
(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 VastusLateralisMuscle) Muscles.kif 1852-1852 Hamstring muscle and vastus lateralis muscle are antagonist muscles
(antagonistMuscles HamstringMuscle VastusIntermediusMuscle) Muscles.kif 1861-1861 Hamstring muscle and vastus intermedius muscle are antagonist muscles
(antagonistMuscles HamstringMuscle VastusMedialisMuscle) Muscles.kif 1870-1870 Hamstring muscle and vastus medialis muscle are antagonist muscles

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


(termFormat EnglishLanguage HamstringMuscle "ham") Mid-level-ontology.kif 12274-12274
(termFormat EnglishLanguage HamstringMuscle "hamstring muscle") Mid-level-ontology.kif 12275-12275


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners