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 BoneFracture est une instance de maladie ou syndrome

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


(subAttribute OpenFracture BoneFracture) Medicine.kif 6139-6139 OpenFracture est un sous-attribut de BoneFracture
(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