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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftRibBone
LeftRibBone

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


(documentation LeftRibBone EnglishLanguage "left rib bone") Anatomy.kif 277-277
(subclass LeftRibBone RibBone) Anatomy.kif 275-275 LeftRibBone est une sous-classe de RibBone

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


(subclass LeftFalseRib10Bone LeftRibBone) Anatomy.kif 449-449 LeftFalseRib10Bone est une sous-classe de LeftRibBone
(subclass LeftFalseRib11Bone LeftRibBone) Anatomy.kif 464-464 LeftFalseRib11Bone est une sous-classe de LeftRibBone
(subclass LeftFalseRib12Bone LeftRibBone) Anatomy.kif 481-481 LeftFalseRib12Bone est une sous-classe de LeftRibBone
(subclass LeftFalseRib8Bone LeftRibBone) Anatomy.kif 419-419 LeftFalseRib8Bone est une sous-classe de LeftRibBone
(subclass LeftFalseRib9Bone LeftRibBone) Anatomy.kif 434-434 LeftFalseRib9Bone est une sous-classe de LeftRibBone
(subclass LeftTrueRib1Bone LeftRibBone) Anatomy.kif 298-298 LeftTrueRib1Bone est une sous-classe de LeftRibBone
(subclass LeftTrueRib2Bone LeftRibBone) Anatomy.kif 313-313 LeftTrueRib2Bone est une sous-classe de LeftRibBone
(subclass LeftTrueRib3Bone LeftRibBone) Anatomy.kif 328-328 LeftTrueRib3Bone est une sous-classe de LeftRibBone
(subclass LeftTrueRib4Bone LeftRibBone) Anatomy.kif 343-343 LeftTrueRib4Bone est une sous-classe de LeftRibBone
(subclass LeftTrueRib5Bone LeftRibBone) Anatomy.kif 358-358 LeftTrueRib5Bone est une sous-classe de LeftRibBone
(subclass LeftTrueRib6Bone LeftRibBone) Anatomy.kif 373-373 LeftTrueRib6Bone est une sous-classe de LeftRibBone
(subclass LeftTrueRib7Bone LeftRibBone) Anatomy.kif 388-388 LeftTrueRib7Bone est une sous-classe de LeftRibBone
(termFormat EnglishLanguage LeftRibBone "left rib bone") Anatomy.kif 276-276


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