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