TrueRibBone
|
|
appearance as argument number 1 |
(documentation TrueRibBone EnglishLanguage "Rib bones that are attached to the Sternum, unlike the FloatingRibs. There are 7 true or fixed ribs in a normal human.") | Anatomy.kif 291-293 | |
(documentation TrueRibBone EnglishLanguage "true rib bone") | Anatomy.kif 285-285 | |
(subclass TrueRibBone RibBone) | Anatomy.kif 283-283 |
appearance as argument number 2 |
(subclass LeftTrueRib1Bone TrueRibBone) | Anatomy.kif 296-296 | |
(subclass LeftTrueRib2Bone TrueRibBone) | Anatomy.kif 311-311 | |
(subclass LeftTrueRib3Bone TrueRibBone) | Anatomy.kif 326-326 | |
(subclass LeftTrueRib4Bone TrueRibBone) | Anatomy.kif 341-341 | |
(subclass LeftTrueRib5Bone TrueRibBone) | Anatomy.kif 356-356 | |
(subclass LeftTrueRib6Bone TrueRibBone) | Anatomy.kif 371-371 | |
(subclass LeftTrueRib7Bone TrueRibBone) | Anatomy.kif 386-386 | |
(subclass RightTrueRib1Bone TrueRibBone) | Anatomy.kif 302-302 | |
(subclass RightTrueRib2Bone TrueRibBone) | Anatomy.kif 317-317 | |
(subclass RightTrueRib3Bone TrueRibBone) | Anatomy.kif 332-332 | |
(subclass RightTrueRib4Bone TrueRibBone) | Anatomy.kif 347-347 | |
(subclass RightTrueRib5Bone TrueRibBone) | Anatomy.kif 362-362 | |
(subclass RightTrueRib6Bone TrueRibBone) | Anatomy.kif 377-377 | |
(subclass RightTrueRib7Bone TrueRibBone) | Anatomy.kif 392-392 | |
(termFormat EnglishLanguage TrueRibBone "costae verae") | Anatomy.kif 294-294 | |
(termFormat EnglishLanguage TrueRibBone "true rib bone") | Anatomy.kif 284-284 |
antecedent |
(=> (and (instance ?R TrueRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connectedBodyPart ?S ?R)))) |
Anatomy.kif 492-503 |