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


KB Term:  Term intersection
English Word: 

  FalseRibBone

 Sigma KEE - FalseRibBone
FalseRibBone(costae spuriae)

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


(documentation FalseRibBone EnglishLanguage "Rib bones that are not attached to the Sternum, unlike the TrueRibBones. There are 5 false ribs in a normal human, which in turn are divided into the 3 vertebrochondral ribs and 2 floating or vertebral ribs.") Anatomy.kif 405-408

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


(termFormat EnglishLanguage FalseRibBone "costae spuriae") Anatomy.kif 409-409
(subclass VertebrochondralRibBone FalseRibBone) Anatomy.kif 411-411 Vertebrochondral rib bone is a subclass of costae spuriae
(subclass VertebralRibBone FalseRibBone) Anatomy.kif 415-415 Floating rib is a subclass of costae spuriae

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


(=>
    (and
        (instance ?R FalseRibBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (not
        (exists (?S)
            (and
                (instance ?S Sternum)
                (part ?S ?H)
                (connected ?S ?R)))))		 Anatomy.kif 509-521 If X is an instance of costae spuriae, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there doesn't exist 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