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 290-292
(documentation TrueRibBone EnglishLanguage "true rib bone")	Anatomy.kif 284-284
(subclass TrueRibBone RibBone)	Anatomy.kif 282-282	Costae verae is a subclass of rib bone

appearance as argument number 2

(subclass LeftTrueRib1Bone TrueRibBone)	Anatomy.kif 295-295	Left true rib 1 bone is a subclass of costae verae
(subclass LeftTrueRib2Bone TrueRibBone)	Anatomy.kif 310-310	Left true rib 2 bone is a subclass of costae verae
(subclass LeftTrueRib3Bone TrueRibBone)	Anatomy.kif 325-325	Left true rib 3 bone is a subclass of costae verae
(subclass LeftTrueRib4Bone TrueRibBone)	Anatomy.kif 340-340	Left true rib 4 bone is a subclass of costae verae
(subclass LeftTrueRib5Bone TrueRibBone)	Anatomy.kif 355-355	Left true rib 5 bone is a subclass of costae verae
(subclass LeftTrueRib6Bone TrueRibBone)	Anatomy.kif 370-370	Left true rib 6 bone is a subclass of costae verae
(subclass LeftTrueRib7Bone TrueRibBone)	Anatomy.kif 385-385	Left true rib 7 bone is a subclass of costae verae
(subclass RightTrueRib1Bone TrueRibBone)	Anatomy.kif 301-301	Right true rib 1 bone is a subclass of costae verae
(subclass RightTrueRib2Bone TrueRibBone)	Anatomy.kif 316-316	Right true rib 2 bone is a subclass of costae verae
(subclass RightTrueRib3Bone TrueRibBone)	Anatomy.kif 331-331	Right true rib 3 bone is a subclass of costae verae
(subclass RightTrueRib4Bone TrueRibBone)	Anatomy.kif 346-346	Right true rib 4 bone is a subclass of costae verae
(subclass RightTrueRib5Bone TrueRibBone)	Anatomy.kif 361-361	Right true rib 5 bone is a subclass of costae verae
(subclass RightTrueRib6Bone TrueRibBone)	Anatomy.kif 376-376	Right true rib 6 bone is a subclass of costae verae
(subclass RightTrueRib7Bone TrueRibBone)	Anatomy.kif 391-391	Right true rib 7 bone is a subclass of costae verae
(termFormat EnglishLanguage TrueRibBone "costae verae")	Anatomy.kif 293-293	Right true rib 7 bone is a subclass of costae verae
(termFormat EnglishLanguage TrueRibBone "true rib bone")	Anatomy.kif 283-283	Right true rib 7 bone is a subclass of costae verae

antecedent

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

Anatomy.kif 491-502

If an object is an instance of costae verae 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 exists 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: