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	Wenn Process ist ein fall von ViolentContest %n{nicht} und Object ist ein patient von Process %n{nicht} und InjuryCausedFn Process ist ein attribut von Object %n{nicht} und ImpairedBodyPartFn Airway ist ein attribut von Object %n{nicht}, dann die Aussage Process ist eine teilkategorie von Combustion oder es gibt entity um entity ist ein fall von Injuring %n{nicht} und entity befindet sich an %n{nicht} und entity ist ein fall von Face %n{nicht} und Object ist ein patient von entity %n{nicht} hat die modale Kraft von Likely
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 12882-12882	Face ist eine teilkategorie von AnimalAnatomicalStructure
(subclass Face BodyPart)	Mid-level-ontology.kif 12883-12883	Face ist eine teilkategorie von BodyPart