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	Costae verae is a subclass of rib bone

appearance as argument number 2

(subclass LeftTrueRib1Bone TrueRibBone)	Anatomy.kif 296-296	Left true rib 1 bone is a subclass of costae verae
(subclass LeftTrueRib2Bone TrueRibBone)	Anatomy.kif 311-311	Left true rib 2 bone is a subclass of costae verae
(subclass LeftTrueRib3Bone TrueRibBone)	Anatomy.kif 326-326	Left true rib 3 bone is a subclass of costae verae
(subclass LeftTrueRib4Bone TrueRibBone)	Anatomy.kif 341-341	Left true rib 4 bone is a subclass of costae verae
(subclass LeftTrueRib5Bone TrueRibBone)	Anatomy.kif 356-356	Left true rib 5 bone is a subclass of costae verae
(subclass LeftTrueRib6Bone TrueRibBone)	Anatomy.kif 371-371	Left true rib 6 bone is a subclass of costae verae
(subclass LeftTrueRib7Bone TrueRibBone)	Anatomy.kif 386-386	Left true rib 7 bone is a subclass of costae verae
(subclass RightTrueRib1Bone TrueRibBone)	Anatomy.kif 302-302	Right true rib 1 bone is a subclass of costae verae
(subclass RightTrueRib2Bone TrueRibBone)	Anatomy.kif 317-317	Right true rib 2 bone is a subclass of costae verae
(subclass RightTrueRib3Bone TrueRibBone)	Anatomy.kif 332-332	Right true rib 3 bone is a subclass of costae verae
(subclass RightTrueRib4Bone TrueRibBone)	Anatomy.kif 347-347	Right true rib 4 bone is a subclass of costae verae
(subclass RightTrueRib5Bone TrueRibBone)	Anatomy.kif 362-362	Right true rib 5 bone is a subclass of costae verae
(subclass RightTrueRib6Bone TrueRibBone)	Anatomy.kif 377-377	Right true rib 6 bone is a subclass of costae verae
(subclass RightTrueRib7Bone TrueRibBone)	Anatomy.kif 392-392	Right true rib 7 bone is a subclass of costae verae
(termFormat EnglishLanguage TrueRibBone "costae verae")	Anatomy.kif 294-294	Right true rib 7 bone is a subclass of costae verae
(termFormat EnglishLanguage TrueRibBone "true rib bone")	Anatomy.kif 284-284	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 492-503

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: