OpenFracture |
appearance as argument number 1 |
(subAttribute OpenFracture BoneFracture) | Medicine.kif 6139-6139 | OpenFracture è un sottoattributo di BoneFracture |
appearance as argument number 2 |
(termFormat EnglishLanguage OpenFracture "open fracture") | Medicine.kif 6142-6142 |
antecedent |
(=> (holdsDuring ?T (attribute ?H OpenFracture)) (exists (?S ?B) (and (instance ?S Skin) (part ?S ?H) (instance ?B Bone) (part ?B ?H) (holdsDuring ?T (traverses ?B ?S))))) |
Medicine.kif 6144-6154 |