![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Killing ChineseLanguage "这是 Destruction 的 subclass,它发生在当由一个 Organism 导致一个 Organism 死亡时。注:两个 Organism 在自杀个案会是相同。") | chinese_format.kif 3157-3158 | |
(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 12062-12064 | |
(subclass Killing Destruction) | Merge.kif 12061-12061 |
appearance as argument number 2 |
![]() |
(subclass Execution Killing) | Mid-level-ontology.kif 17663-17663 | |
(subclass Lynching Killing) | Mid-level-ontology.kif 21516-21516 | |
(subclass Murder Killing) | Mid-level-ontology.kif 17816-17816 | |
(subclass Poaching Killing) | Geography.kif 2802-2802 | |
(subclass Starving Killing) | Mid-level-ontology.kif 17861-17861 | |
(subclass Suffocating Killing) | Mid-level-ontology.kif 17827-17827 | |
(subclass Suicide Killing) | Mid-level-ontology.kif 17681-17681 | |
(subclass SuicideBombing Killing) | Mid-level-ontology.kif 21569-21569 | |
(subclass UdhiyahRitual Killing) | ArabicCulture.kif 232-232 | |
(termFormat ChineseLanguage Killing "杀害") | chinese_format.kif 1162-1162 | |
(termFormat EnglishLanguage Killing "killing") | english_format.kif 1541-1541 |
antecedent |
![]() |
(=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism))) |
Merge.kif 12066-12073 | |
(=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH)))) |
Merge.kif 12083-12091 | |
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12075-12081 |
consequent |
![]() |
(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (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 1373-1391 | |
(=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing)))))) |
Merge.kif 12668-12678 | |
(=> (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 | |
(=> (instance ?AGENT LifeThreateningAgent) (capability Killing instrument ?AGENT)) |
WMD.kif 1006-1008 | |
(=> (instance ?ANTIBIOTIC Antibiotic) (capability (KappaFn ?KILL (and (instance ?KILL Killing) (patient ?KILL ?BACTERIUM) (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC)) |
WMD.kif 1256-1263 | |
(=> (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 2181-2191 |
![]() |
![]() |