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	Processo è un' istanza di CompetizioneViolenta Oggetto è un paziente di Processo attribute Oggetto and InjuryCausedFn Processo attribute Oggetto and ImpairedBodyPartFn Airway l'affermazione Processo è una sottoclasse di Combustione Entit� Entit� è un' istanza di Trauma Entit� è localizzato in Entit� Entit� è un' istanza di Face Oggetto è un paziente di Entit� ha il modello di forza di Likely
(subclass Combustion ChemicalDecomposition)	Merge.kif 12593-12593	Combustione è una sottoclasse di DecomposizioneChimica
(subclass Fire Combustion)	Mid-level-ontology.kif 21808-21808	Fire è una sottoclasse di Combustione
(subclass IncendiaryDeviceAttack Combustion)	Mid-level-ontology.kif 21933-21933	IncendiaryDeviceAttack è una sottoclasse di Combustione
(subclass ForestFire Combustion)	Geography.kif 2405-2405	ForestFire è una sottoclasse di Combustione
(subclass GrassFire Combustion)	Geography.kif 2415-2415	GrassFire è una sottoclasse di Combustione
(subclass Backfire Combustion)	Cars.kif 1350-1350	Backfire è una sottoclasse di Combustione

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