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



KB Term:  Term intersection
English Word: 

  HamstringMuscle

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