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



KB Term:  Term intersection
English Word: 

  length

Sigma KEE - ThighMuscle
ThighMuscle(quadriceps)

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


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

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


(antagonistMuscles HamstringMuscle ThighMuscle) Mid-level-ontology.kif 12152-12152 Hamstring muscle and quadriceps are antagonist muscles
(termFormat EnglishLanguage ThighMuscle "thigh") Mid-level-ontology.kif 12251-12251 Hamstring muscle and quadriceps are antagonist muscles
(termFormat EnglishLanguage ThighMuscle "thigh muscle") Mid-level-ontology.kif 12252-12252 Hamstring muscle and quadriceps are antagonist muscles
(termFormat EnglishLanguage ThighMuscle "quad") Mid-level-ontology.kif 12253-12253 Hamstring muscle and quadriceps are antagonist muscles
(termFormat EnglishLanguage ThighMuscle "quadriceps") Mid-level-ontology.kif 12254-12254 Hamstring muscle and quadriceps are antagonist muscles

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


(subclass LeftThigh
    (BodyAreaFn
        (BodySideFn Left ThighMuscle)))
Medicine.kif 2936-2936 Left thigh is a subclass of body area the left of quadriceps
(subclass RightThigh
    (BodyAreaFn
        (BodySideFn Right ThighMuscle)))
Medicine.kif 2939-2939 Right thigh is a subclass of body area the right of quadriceps


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