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 12881-12881	Face は AnimalAnatomicalStructure の subclass では %n
(subclass Face BodyPart)	Mid-level-ontology.kif 12882-12882	Face は体の部分の subclass では %n