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


KB Term:  Term intersection
English Word: 

  TrueRibBone

 Sigma KEE - TrueRibBone
TrueRibBone(costae verae)

appearance as argument number 1
-------------------------


(subclass TrueRibBone RibBone) Anatomy.kif 287-287 Costae verae is a subclass of rib
(documentation TrueRibBone EnglishLanguage "true rib bone") Anatomy.kif 289-289 Costae verae is a subclass of rib
(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 295-297 Costae verae is a subclass of rib

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


(termFormat EnglishLanguage TrueRibBone "true rib bone") Anatomy.kif 288-288
(termFormat EnglishLanguage TrueRibBone "costae verae") Anatomy.kif 298-298
(subclass LeftTrueRib1Bone TrueRibBone) Anatomy.kif 300-300 Left true rib 1 bone is a subclass of costae verae
(subclass RightTrueRib1Bone TrueRibBone) Anatomy.kif 306-306 Right true rib 1 bone is a subclass of costae verae
(subclass LeftTrueRib2Bone TrueRibBone) Anatomy.kif 315-315 Left true rib 2 bone is a subclass of costae verae
(subclass RightTrueRib2Bone TrueRibBone) Anatomy.kif 321-321 Right true rib 2 bone is a subclass of costae verae
(subclass LeftTrueRib3Bone TrueRibBone) Anatomy.kif 330-330 Left true rib 3 bone is a subclass of costae verae
(subclass RightTrueRib3Bone TrueRibBone) Anatomy.kif 336-336 Right true rib 3 bone is a subclass of costae verae
(subclass LeftTrueRib4Bone TrueRibBone) Anatomy.kif 345-345 Left true rib 4 bone is a subclass of costae verae
(subclass RightTrueRib4Bone TrueRibBone) Anatomy.kif 351-351 Right true rib 4 bone is a subclass of costae verae
(subclass LeftTrueRib5Bone TrueRibBone) Anatomy.kif 360-360 Left true rib 5 bone is a subclass of costae verae
(subclass RightTrueRib5Bone TrueRibBone) Anatomy.kif 366-366 Right true rib 5 bone is a subclass of costae verae
(subclass LeftTrueRib6Bone TrueRibBone) Anatomy.kif 375-375 Left true rib 6 bone is a subclass of costae verae
(subclass RightTrueRib6Bone TrueRibBone) Anatomy.kif 381-381 Right true rib 6 bone is a subclass of costae verae
(subclass LeftTrueRib7Bone TrueRibBone) Anatomy.kif 390-390 Left true rib 7 bone is a subclass of costae verae
(subclass RightTrueRib7Bone TrueRibBone) Anatomy.kif 396-396 Right true rib 7 bone is a subclass of costae verae

antecedent
-------------------------


(=>
    (and
        (instance ?R TrueRibBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S Sternum)
            (part ?S ?H)
            (connected ?S ?R))))		 Anatomy.kif 496-507 If X is an instance of costae verae, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there exists Z such that Z is an instance of sternum, Z is a part of Y, and Z is connected to X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners