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 ist eine teilkategorie von RibBone

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


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