(=> (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 12882-12882 | 子類 面對 and 動物解剖結構 |
(subclass Face BodyPart) | Mid-level-ontology.kif 12883-12883 | 子類 面對 and BodyPart |