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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bicep
Bicep

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


(antagonistMuscles Bicep Tricep) Mid-level-ontology.kif 10916-10916
(initialPart Bicep Arm) Mid-level-ontology.kif 11001-11001
(subclass Bicep Muscle) Mid-level-ontology.kif 10999-10999
(typicalPart Bicep Arm) Mid-level-ontology.kif 11000-11000

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


(termFormat EnglishLanguage Bicep "bicep") Mid-level-ontology.kif 11002-11002


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