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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ThighMuscle

Sigma KEE - ThighMuscle
ThighMuscle

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


(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10793-10793
(subclass ThighMuscle Muscle) Mid-level-ontology.kif 10791-10791
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 10792-10792

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


(antagonistMuscles HamstringMuscle ThighMuscle) Mid-level-ontology.kif 10699-10699
(termFormat EnglishLanguage ThighMuscle "quad") Mid-level-ontology.kif 10796-10796
(termFormat EnglishLanguage ThighMuscle "quadriceps") Mid-level-ontology.kif 10797-10797
(termFormat EnglishLanguage ThighMuscle "thigh muscle") Mid-level-ontology.kif 10795-10795
(termFormat EnglishLanguage ThighMuscle "thigh") Mid-level-ontology.kif 10794-10794

statement
-------------------------


(subclass LeftThigh
    (BodyAreaFn
        (BodySideFn Left ThighMuscle)))
Medicine.kif 2930-2930
(subclass RightThigh
    (BodyAreaFn
        (BodySideFn Right ThighMuscle)))
Medicine.kif 2933-2933


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