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

KB Term:  Term intersection
English Word: 

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 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