| (=> (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 Airway Transitway) | Mid-level-ontology.kif 11716-11716 | Airway è una sottoclasse di Transitway |
| (subclass Throat Airway) | Mid-level-ontology.kif 11722-11722 | Throat è una sottoclasse di Airway |
| (subclass Trachea Airway) | Mid-level-ontology.kif 11734-11734 | Trachea è una sottoclasse di Airway |
|
|