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 10820-10820 initialPart ThighMuscle and Leg
(subclass ThighMuscle Muscle) Mid-level-ontology.kif 10818-10818 ThighMuscle ist eine teilkategorie von Muscle
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 10819-10819 typicalPart ThighMuscle and Leg

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


(antagonistMuscles HamstringMuscle ThighMuscle) Mid-level-ontology.kif 10726-10726 antagonistMuscles HamstringMuscle and ThighMuscle
(termFormat EnglishLanguage ThighMuscle "quad") Mid-level-ontology.kif 10823-10823
(termFormat EnglishLanguage ThighMuscle "quadriceps") Mid-level-ontology.kif 10824-10824
(termFormat EnglishLanguage ThighMuscle "thigh muscle") Mid-level-ontology.kif 10822-10822
(termFormat EnglishLanguage ThighMuscle "thigh") Mid-level-ontology.kif 10821-10821

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


(subclass LeftThigh
    (BodyAreaFn
        (BodySideFn Left ThighMuscle)))
Medicine.kif 2930-2930 LeftThigh ist eine teilkategorie von BodyAreaFn BodySideFn Left and ThighMuscle
(subclass RightThigh
    (BodyAreaFn
        (BodySideFn Right ThighMuscle)))
Medicine.kif 2933-2933 RightThigh ist eine teilkategorie von BodyAreaFn BodySideFn Right and ThighMuscle


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