(=> (and (instance ?V ViolentContest) (patient ?V ?H) (attribute ?H (InjuryCausedFn ?PC)) (attribute ?H (ImpairedBodyPartFn Airway))) (modalAttribute (or (subclass ?PC Combustion) (exists (?FI) (and (instance ?I Injuring) (located ?I ?F) (instance ?F Face) (patient ?I ?H)))) Likely)) |
Medicine.kif 698-715 |
|
(subclass Face AnimalAnatomicalStructure) | Mid-level-ontology.kif 12881-12881 | Face è una sottoclasse di AnimalAnatomicalStructure |
(subclass Face BodyPart) | Mid-level-ontology.kif 12882-12882 | Face è una sottoclasse di ParteDelCorpo |