| 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 11259-11261 | |
| (documentation RibBone EnglishLanguage "rib bone") | Anatomy.kif 273-273 | |
| (subclass RibBone Bone) | Mid-level-ontology.kif 11258-11258 | RibBone è una sottoclasse di Osso |
| (subclass RibBone ThoraxBone) | Anatomy.kif 271-271 | RibBone è una sottoclasse di ThoraxBone |
| (typicalPart RibBone Chest) | Mid-level-ontology.kif 11263-11263 | typicalPart RibBone and Chest |
| appearance as argument number 2 |
|
|
| (muscleInsertion IliocostalisMuscle RibBone) | Muscles.kif 896-896 | muscleInsertion IliocostalisMuscle and RibBone |
| (muscleOrigin SerratusAnteriorMuscle RibBone) | Muscles.kif 1260-1260 | muscleOrigin SerratusAnteriorMuscle and RibBone |
| (subclass FloatingRibBone RibBone) | Anatomy.kif 287-287 | FloatingRibBone è una sottoclasse di RibBone |
| (subclass LeftRibBone RibBone) | Anatomy.kif 275-275 | LeftRibBone è una sottoclasse di RibBone |
| (subclass RightRibBone RibBone) | Anatomy.kif 279-279 | RightRibBone è una sottoclasse di RibBone |
| (subclass TrueRibBone RibBone) | Anatomy.kif 283-283 | TrueRibBone è una sottoclasse di RibBone |
| (termFormat EnglishLanguage RibBone "rib bone") | Anatomy.kif 272-272 | |
| (termFormat EnglishLanguage RibBone "rib") | Mid-level-ontology.kif 11262-11262 |
| consequent |
|
|
| (=> (instance ?RC RibCage) (memberType ?RC RibBone)) |
Mid-level-ontology.kif 11270-11272 |
|
|
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