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 Combustion ChemicalDecomposition)	Merge.kif 12571-12571	Combustion ist eine teilkategorie von ChemicalDecomposition
(subclass Fire Combustion)	Mid-level-ontology.kif 21809-21809	Fire ist eine teilkategorie von Combustion
(subclass IncendiaryDeviceAttack Combustion)	Mid-level-ontology.kif 21934-21934	IncendiaryDeviceAttack ist eine teilkategorie von Combustion
(subclass ForestFire Combustion)	Geography.kif 2405-2405	ForestFire ist eine teilkategorie von Combustion
(subclass GrassFire Combustion)	Geography.kif 2415-2415	GrassFire ist eine teilkategorie von Combustion
(subclass Backfire Combustion)	Cars.kif 1350-1350	Backfire ist eine teilkategorie von Combustion

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