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 是 RibBone 的 subclass

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


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