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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BoneFracture
BoneFracture

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


(documentation BoneFracture EnglishLanguage "A BoneFracture where a portion of Bone breaks the Skin.") Medicine.kif 6140-6141
(documentation BoneFracture EnglishLanguage "An Attribute of having a Bone that is damaged. This includes cracks that do not completely separate a bone, as well as complete breaks into separate pieces and trauma such as an OpenFracture.") Medicine.kif 6123-6125
(instance BoneFracture DiseaseOrSyndrome) Medicine.kif 6122-6122

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


(subAttribute OpenFracture BoneFracture) Medicine.kif 6139-6139
(termFormat EnglishLanguage BoneFracture "bone fracture") Medicine.kif 6126-6126

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


(=>
    (holdsDuring ?T
        (attribute ?H BoneFracture))
    (exists (?S ?B)
        (and
            (instance ?S Separating)
            (patient ?S ?B)
            (instance ?B Bone)
            (part ?B ?H)
            (meetsTemporally
                (WhenFn ?S) ?T))))
Medicine.kif 6128-6137


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 is open source software produced by Articulate Software and its partners