FalseRibBone - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FalseRibBone EnglishLanguage "Rib bones that are not attached to the Sternum, unlike the TrueRibBones. There are 5 false ribs in a normal human, which in turn are divided into the 3 vertebrochondral ribs and 2 floating or vertebral ribs.")

Anatomy.kif 405-408

appearance as argument number 2

(termFormat EnglishLanguage FalseRibBone "costae spuriae")	Anatomy.kif 409-409
(subclass VertebrochondralRibBone FalseRibBone)	Anatomy.kif 411-411	Vertebrochondral rib bone is a subclass of costae spuriae
(subclass VertebralRibBone FalseRibBone)	Anatomy.kif 415-415	Floating rib is a subclass of costae spuriae

antecedent

(=>
    (and
        (instance ?R FalseRibBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (not
        (exists (?S)
            (and
                (instance ?S Sternum)
                (part ?S ?H)
                (connected ?S ?R)))))

Anatomy.kif 509-521

If X is an instance of costae spuriae, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there doesn't exist Z such that Z is an instance of sternum, Z is a part of Y, and Z is connected to 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