(=> (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 Combustion ChemicalDecomposition) | Merge.kif 12571-12571 | 子類 Combustion and ChemicalDecomposition |
(subclass Fire Combustion) | Mid-level-ontology.kif 21809-21809 | 子類 火 and Combustion |
(subclass IncendiaryDeviceAttack Combustion) | Mid-level-ontology.kif 21934-21934 | 子類 燃燒裝置攻擊 and Combustion |
(subclass ForestFire Combustion) | Geography.kif 2405-2405 | 子類 森林火災 and Combustion |
(subclass GrassFire Combustion) | Geography.kif 2415-2415 | 子類 草火 and Combustion |
(subclass Backfire Combustion) | Cars.kif 1350-1350 | 子類 Backfire and Combustion |