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 Combustion ChemicalDecomposition)	Merge.kif 12571-12571	燃焼は化学分解の subclass では %n
(subclass Fire Combustion)	Mid-level-ontology.kif 21809-21809	Fire は燃焼の subclass では %n
(subclass IncendiaryDeviceAttack Combustion)	Mid-level-ontology.kif 21934-21934	IncendiaryDeviceAttack は燃焼の subclass では %n
(subclass ForestFire Combustion)	Geography.kif 2405-2405	ForestFire は燃焼の subclass では %n
(subclass GrassFire Combustion)	Geography.kif 2415-2415	GrassFire は燃焼の subclass では %n
(subclass Backfire Combustion)	Cars.kif 1350-1350	Backfire は燃焼の subclass では %n

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners