Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TrueRibBone

 Sigma KEE - TrueRibBone
TrueRibBone(costae verae)

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
(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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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