Killing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Killing

Killing(killing)

Holocaust, amok, amuck, annihilate, asphyxiate, asphyxiation, assassinate, assassination, assisted_suicide, battue, behead, beheading, bloodbath, bloodletting, bloodshed, brain, burke, butcher, butchery, carnage, carry_off, chance-medley, chine, choking, chop_down, commit_suicide, coup_de_grace, crucify, cut, deaden, death, deathblow, decapitate, decapitation, decimate, decollate, despatch, destroy, dismember, dispatch, do_in, draw, draw_and_quarter, dry-gulching, electrocute, electrocution, eliminate, elimination, eradicate, euthanasia...

appearance as argument number 1

(documentation Killing ChineseLanguage "这是 Destruction 的 subclass，它发生在当由一个 Organism 导致一个 Organism 死亡时。注：两个 Organism 在自杀个案会是相同。")	Merge.kif 12233-12234
(documentation Killing EnglishLanguage "The subclass of Destruction in which the death of an Organism is caused by an Organism. Note that in cases of suicide the Organism would be the same in both cases.")	Merge.kif 12230-12232
(subclass Killing Destruction)	Merge.kif 12229-12229	Killing is a subclass of destruction

appearance as argument number 2

(subclass Execution Killing)	Mid-level-ontology.kif 15949-15949	Execution is a subclass of killing
(subclass Lynching Killing)	Mid-level-ontology.kif 19823-19823	Lynching is a subclass of killing
(subclass Murder Killing)	Mid-level-ontology.kif 16028-16028	Murder is a subclass of killing
(subclass Poaching Killing)	Geography.kif 2727-2727	Poaching is a subclass of killing
(subclass Starving Killing)	Mid-level-ontology.kif 16070-16070	Starving is a subclass of killing
(subclass Suffocating Killing)	Mid-level-ontology.kif 16039-16039	Suffocating is a subclass of killing
(subclass Suicide Killing)	Mid-level-ontology.kif 15967-15967	Suicide is a subclass of killing
(subclass SuicideBombing Killing)	Mid-level-ontology.kif 19881-19881	Suicide bombing is a subclass of killing
(subclass UdhiyahRitual Killing)	ArabicCulture.kif 230-230	Udhiyah ritual is a subclass of killing
(termFormat ChineseLanguage Killing "杀害")	chinese_format.kif 1162-1162	"杀害" is the printable form of killing in ChineseLanguage
(termFormat EnglishLanguage Killing "killing")	english_format.kif 1563-1563	"killing" is the printable form of killing in english language
(termFormat JapaneseLanguage Killing "殺害")	english_format.kif 1564-1564	"殺害" is the printable form of killing in japanese language

antecedent

(=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism)))	Merge.kif 12236-12243	If a process is an instance of killing and an agent is an agent of the process and an entity is a patient of the process, then the agent is an instance of organism and the entity is an instance of organism
(=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH))))	Merge.kif 12253-12261	If a process is an instance of killing and an agent is a patient of the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the process causes the other process
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))	Merge.kif 12245-12251	If a process is an instance of killing and an entity is a patient of the process, then living is an attribute of the entity holds during the beginning of the time of existence of the process and dead is an attribute of the entity holds during after the time of existence of the process

consequent

(=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1797-1812	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument
(=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing))))))	Merge.kif 12837-12847	If a process is an instance of hunting and an entity is a patient of the process, then the process has purpose there exists the entityROC such that the entity is a patient of the entityROC and the entityROC is an instance of confining or the entityROC is an instance of killing
(=> (and (instance ?ORG Organization) (attribute ?ORG AgricultureForestryFishingAndHunting)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?EV ?MEM) (exists (?THING ?EV2 ?MEM2) (and (or (instance ?EV Killing) (instance ?EV Maintaining)) (patient ?EV ?THING) (or (instance ?THING Animal) (instance ?THING Plant)) (not (instance ?THING Human)) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 50-72	If a collection is an instance of organization and agriculture forestry fishing and hunting is an attribute of the collection, then there exist a process and an agent such that the agent is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the process is an instance of killing or the process is an instance of maintaining and the entity is a patient of the process and the entity is an instance of animal or the entity is an instance of plant and the entity is not an instance of human and the agent2 is a member of the collection and the process2 is an instance of selling and the agent2 is an agent of the process2 and the entity is a patient of the process2
(=> (instance ?AGENT LifeThreateningAgent) (capability Killing instrument ?AGENT))	WMD.kif 959-961	If an object is an instance of life threatening agent, then the object is capable of doing killing as a instrument
(=> (instance ?ANTIBIOTIC Antibiotic) (capability (KappaFn ?KILL (and (instance ?KILL Killing) (patient ?KILL ?BACTERIUM) (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC))	WMD.kif 1168-1174	If an object is an instance of antibiotic, then the object is capable of doing the class described by a symbolic string as a agent
(=> (instance ?T Toothbrush) (hasPurpose ?T (exists (?K) (and (instance ?TOOTH Tooth) (instrument ?K ?T) (instance ?K Killing) (instance ?B Bacterium) (patient ?K ?B) (patient ?K ?TOOTH)))))	Mid-level-ontology.kif 2686-2696	If a physical is an instance of toothbrush, then the physical has purpose there exists an entity such that the physicalOOTH is an instance of tooth and the physical is an instrument for the entity and the entity is an instance of killing and a third entity is an instance of bacterium and the third entity is a patient of the entity and the physicalOOTH is a patient of the entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners