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

KB Term:  Term intersection
English Word: 

Sigma KEE - CalfMuscle
CalfMuscle(gastrocnemius)

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


(antagonistMuscles CalfMuscle ShinMuscle) Mid-level-ontology.kif 12153-12153 Gastrocnemius and tibialis anterior are antagonist muscles
(subclass CalfMuscle Muscle) Mid-level-ontology.kif 12256-12256 Gastrocnemius is a subclass of muscle
(typicalPart CalfMuscle Leg) Mid-level-ontology.kif 12257-12257 A gastrocnemius is typically a part of a leg
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 12258-12258 Every gastrocnemius is initially part of a leg

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


(termFormat EnglishLanguage CalfMuscle "calf") Mid-level-ontology.kif 12259-12259
(termFormat EnglishLanguage CalfMuscle "calf muscle") Mid-level-ontology.kif 12260-12260
(termFormat EnglishLanguage CalfMuscle "gastrocnemius") Mid-level-ontology.kif 12261-12261


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