TrueRibBone - Sigma Knowledge base Browser

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