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

KB Term:  Term intersection
English Word: 

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