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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ThighMuscle

appearance as argument number 1

(initialPart ThighMuscle Leg) Mid-level-ontology.kif 10297-10297 Every quadriceps is initially part of a leg
(subclass ThighMuscle Muscle) Mid-level-ontology.kif 10295-10295 Quadriceps is a subclass of muscle
(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 10296-10296 A quadriceps is typically a part of a leg

appearance as argument number 2

(antagonistMuscles HamstringMuscle ThighMuscle) Mid-level-ontology.kif 10204-10204 Hamstring muscle and quadriceps are antagonist muscles
(termFormat EnglishLanguage ThighMuscle "quad") Mid-level-ontology.kif 10300-10300
(termFormat EnglishLanguage ThighMuscle "quadriceps") Mid-level-ontology.kif 10301-10301
(termFormat EnglishLanguage ThighMuscle "thigh muscle") Mid-level-ontology.kif 10299-10299
(termFormat EnglishLanguage ThighMuscle "thigh") Mid-level-ontology.kif 10298-10298

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 is open source software produced by Articulate Software and its partners