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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RibBone
RibBone(rib bone)

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


(documentation RibBone EnglishLanguage "One of the Collection of Bones that form the Chest of an Animal, surrounding the Heart and Lungs.") Mid-level-ontology.kif 12128-12130
(documentation RibBone EnglishLanguage "rib bone") Anatomy.kif 272-272
(initialPart RibBone Chest) Mid-level-ontology.kif 12133-12133 Every rib bone is initially part of a chest
(subclass RibBone Bone) Mid-level-ontology.kif 12127-12127 Rib bone is a subclass of bone
(subclass RibBone ThoraxBone) Anatomy.kif 270-270 Rib bone is a subclass of thorax bone
(typicalPart RibBone Chest) Mid-level-ontology.kif 12132-12132 A rib bone is typically a part of a chest

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


(muscleInsertion IliocostalisMuscle RibBone) Muscles.kif 896-896 The insertion point of IliocostalisMuscle is rib bone
(muscleOrigin SerratusAnteriorMuscle RibBone) Muscles.kif 1260-1260 The origin of serratus anterior muscle is rib bone
(subclass FloatingRibBone RibBone) Anatomy.kif 286-286 Floating rib bone is a subclass of rib bone
(subclass LeftRibBone RibBone) Anatomy.kif 274-274 Left rib bone is a subclass of rib bone
(subclass RightRibBone RibBone) Anatomy.kif 278-278 Right rib bone is a subclass of rib bone
(subclass TrueRibBone RibBone) Anatomy.kif 282-282 Costae verae is a subclass of rib bone
(termFormat EnglishLanguage RibBone "rib bone") Anatomy.kif 271-271 Costae verae is a subclass of rib bone
(termFormat EnglishLanguage RibBone "rib") Mid-level-ontology.kif 12131-12131 Costae verae is a subclass of rib bone

consequent
-------------------------


(=>
    (instance ?RC RibCage)
    (memberType ?RC RibBone))
Mid-level-ontology.kif 12139-12141


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