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 Airway Transitway)	Mid-level-ontology.kif 11716-11716	Airway ist eine teilkategorie von Transitway
(subclass Throat Airway)	Mid-level-ontology.kif 11722-11722	Throat ist eine teilkategorie von Airway
(subclass Trachea Airway)	Mid-level-ontology.kif 11734-11734	Trachea ist eine teilkategorie von Airway