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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tricep
Tricep(tricep)triceps

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


(initialPart Tricep Arm) Mid-level-ontology.kif 10788-10788 Every tricep is initially part of a arm
(subclass Tricep Muscle) Mid-level-ontology.kif 10786-10786 Tricep is a subclass of muscle
(typicalPart Tricep Arm) Mid-level-ontology.kif 10787-10787 A tricep is typically a part of a arm

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


(antagonistMuscles Bicep Tricep) Mid-level-ontology.kif 10698-10698 Bicep and tricep are antagonist muscles
(termFormat EnglishLanguage Tricep "tricep") Mid-level-ontology.kif 10789-10789


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