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

appearance as argument number 2

(subclass VertebralRibBone FalseRibBone)	Anatomy.kif 410-410	Floating rib is a subclass of costae spuriae
(subclass VertebrochondralRibBone FalseRibBone)	Anatomy.kif 406-406	Vertebrochondral rib bone is a subclass of costae spuriae
(termFormat EnglishLanguage FalseRibBone "costae spuriae")	Anatomy.kif 404-404	Vertebrochondral rib bone 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 504-516

If an object is an instance of costae spuriae and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object,
then there doesn't exist a third object such that the third object is an instance of sternum and the third object is a part of the other object and the third object is connected to the object

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

KB Term:			Term intersection

English Word: