Sigma KB Term Intersection

(=> (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	工程は激しいコンテストの instance では %n オブジェクトは工程の patient では %n InjuryCausedFn 工程はオブジェクトの attribute では %n ImpairedBodyPartFn Airway はオブジェクトの attribute では %n ステートメント工程は燃焼の subclass では %n エンティティーエンティティーはけがの instance では %n エンティティーはエンティティーに located して %n エンティティーは Face の instance では %n オブジェクトはエンティティーの patient では %n には Likely の modal force がある
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 12882-12882	Face は AnimalAnatomicalStructure の subclass では %n
(subclass Face BodyPart)	Mid-level-ontology.kif 12883-12883	Face は体の部分の subclass では %n