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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BoneFracture
BoneFracture(bone fracture)

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


(documentation BoneFracture EnglishLanguage "A BoneFracture where a portion of Bone breaks the Skin.") Medicine.kif 6126-6127
(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 6109-6111
(instance BoneFracture DiseaseOrSyndrome) Medicine.kif 6108-6108 Bone fracture is an instance of disease or syndrome

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


(subAttribute OpenFracture BoneFracture) Medicine.kif 6125-6125 Open fracture is a subattribute of bone fracture
(termFormat EnglishLanguage BoneFracture "bone fracture") Medicine.kif 6112-6112 Open fracture is a subattribute of bone fracture

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 6114-6123


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