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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TrueRibBone

 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 and RibBone

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


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