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


KB Term:  Term intersection
English Word: 

  RibBone

 Sigma KEE - RibBone
RibBone(rib)

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


(subclass RibBone Bone) Mid-level-ontology.kif 12726-12726 Rib is a subclass of bone
(subclass RibBone ThoraxBone) Mid-level-ontology.kif 12727-12727 Rib is a subclass of thorax bone
(documentation RibBone EnglishLanguage "One of the CollectionOfObjects of Bones that form the Chest of an Animal, surrounding the Heart and Lungs.") Mid-level-ontology.kif 12728-12730 Rib is a subclass of thorax bone
(typicalPart RibBone Chest) Mid-level-ontology.kif 12732-12732 A rib is typically a part of a chest
(initialPart RibBone Chest) Mid-level-ontology.kif 12733-12733 Every rib is initially part of a chest

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


(termFormat EnglishLanguage RibBone "rib") Mid-level-ontology.kif 12731-12731
(subclass LeftRibBone RibBone) Anatomy.kif 279-279 Left rib bone is a subclass of rib
(subclass RightRibBone RibBone) Anatomy.kif 283-283 Right rib bone is a subclass of rib
(subclass TrueRibBone RibBone) Anatomy.kif 287-287 Costae verae is a subclass of rib
(subclass FloatingRibBone RibBone) Anatomy.kif 291-291 Floating rib bone is a subclass of rib
(muscleInsertion IliocostalisMuscle RibBone) Muscles.kif 896-896 The insertion point of IliocostalisMuscle is rib
(muscleOrigin SerratusAnteriorMuscle RibBone) Muscles.kif 1260-1260 The origin of serratus anterior muscle is rib

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


(=>
    (instance ?RC RibCage)
    (memberType ?RC RibBone))		 Mid-level-ontology.kif 12739-12741 If X is an instance of rib cage, then rib is a member type of X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners