(=> (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 は Transitway の subclass では %n |
(subclass Throat Airway) | Mid-level-ontology.kif 11722-11722 | Throat は Airway の subclass では %n |
(subclass Trachea Airway) | Mid-level-ontology.kif 11734-11734 | Trachea は Airway の subclass では %n |