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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TrueRibBone
TrueRibBone

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 TrueRibBone e' uma sub-classe de RibBone

appearance as argument number 2
-------------------------


(subclass LeftTrueRib1Bone TrueRibBone) Anatomy.kif 296-296 LeftTrueRib1Bone e' uma sub-classe de TrueRibBone
(subclass LeftTrueRib2Bone TrueRibBone) Anatomy.kif 311-311 LeftTrueRib2Bone e' uma sub-classe de TrueRibBone
(subclass LeftTrueRib3Bone TrueRibBone) Anatomy.kif 326-326 LeftTrueRib3Bone e' uma sub-classe de TrueRibBone
(subclass LeftTrueRib4Bone TrueRibBone) Anatomy.kif 341-341 LeftTrueRib4Bone e' uma sub-classe de TrueRibBone
(subclass LeftTrueRib5Bone TrueRibBone) Anatomy.kif 356-356 LeftTrueRib5Bone e' uma sub-classe de TrueRibBone
(subclass LeftTrueRib6Bone TrueRibBone) Anatomy.kif 371-371 LeftTrueRib6Bone e' uma sub-classe de TrueRibBone
(subclass LeftTrueRib7Bone TrueRibBone) Anatomy.kif 386-386 LeftTrueRib7Bone e' uma sub-classe de TrueRibBone
(subclass RightTrueRib1Bone TrueRibBone) Anatomy.kif 302-302 RightTrueRib1Bone e' uma sub-classe de TrueRibBone
(subclass RightTrueRib2Bone TrueRibBone) Anatomy.kif 317-317 RightTrueRib2Bone e' uma sub-classe de TrueRibBone
(subclass RightTrueRib3Bone TrueRibBone) Anatomy.kif 332-332 RightTrueRib3Bone e' uma sub-classe de TrueRibBone
(subclass RightTrueRib4Bone TrueRibBone) Anatomy.kif 347-347 RightTrueRib4Bone e' uma sub-classe de TrueRibBone
(subclass RightTrueRib5Bone TrueRibBone) Anatomy.kif 362-362 RightTrueRib5Bone e' uma sub-classe de TrueRibBone
(subclass RightTrueRib6Bone TrueRibBone) Anatomy.kif 377-377 RightTrueRib6Bone e' uma sub-classe de TrueRibBone
(subclass RightTrueRib7Bone TrueRibBone) Anatomy.kif 392-392 RightTrueRib7Bone e' uma sub-classe de TrueRibBone
(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 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