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

KB Term:  Term intersection
English Word: 

Sigma KEE - LeftTrueRib5Bone
LeftTrueRib5Bone(left true rib 5 bone)

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


(subclass LeftTrueRib5Bone TrueRibBone) Anatomy.kif 360-360 Left true rib 5 bone is a subclass of costae verae
(subclass LeftTrueRib5Bone LeftRibBone) Anatomy.kif 362-362 Left true rib 5 bone is a subclass of left rib bone
(documentation LeftTrueRib5Bone EnglishLanguage "left true rib 5 bone") Anatomy.kif 364-364 Left true rib 5 bone is a subclass of left rib bone
(connectedBodyPartTypes LeftTrueRib5Bone T5VertebraBone Human) Anatomy.kif 372-372 connected body parts left true rib 5 bone, T5 vertebra bone and human

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


(termFormat EnglishLanguage LeftTrueRib5Bone "left true rib 5 bone") Anatomy.kif 363-363


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