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 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 Bone fracture is an instance of disease or syndrome

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


(subAttribute OpenFracture BoneFracture) Medicine.kif 6139-6139 Open fracture is a subattribute of bone fracture
(termFormat EnglishLanguage BoneFracture "bone fracture") Medicine.kif 6126-6126 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 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