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

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


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


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