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 10815-10815 Every tricep is initially part of a arm
(subclass Tricep Muscle) Mid-level-ontology.kif 10813-10813 Tricep is a subclass of muscle
(typicalPart Tricep Arm) Mid-level-ontology.kif 10814-10814 A tricep is typically a part of a arm

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


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


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