| Killing | |
| 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 12427-12429 | |
| (subclass Killing Destruction) | Merge.kif 12426-12426 |
| appearance as argument number 2 |
|
|
| (subclass Execution Killing) | Mid-level-ontology.kif 19828-19828 | |
| (subclass Harvesting Killing) | Mid-level-ontology.kif 19644-19644 | |
| (subclass Lynching Killing) | Mid-level-ontology.kif 23682-23682 | |
| (subclass Murder Killing) | Mid-level-ontology.kif 20015-20015 | |
| (subclass Poaching Killing) | Geography.kif 2788-2788 | |
| (subclass Starving Killing) | Mid-level-ontology.kif 20061-20061 | |
| (subclass Suffocating Killing) | Mid-level-ontology.kif 20026-20026 | |
| (subclass Suicide Killing) | Mid-level-ontology.kif 19846-19846 | |
| (subclass SuicideBombing Killing) | Mid-level-ontology.kif 23735-23735 | |
| (subclass UdhiyahRitual Killing) | ArabicCulture.kif 243-243 | |
| (termFormat ChineseLanguage Killing "杀害") | chinese_format.kif 1162-1162 | |
| (termFormat EnglishLanguage Killing "killing") | english_format.kif 1541-1541 | |
| (termFormat FrenchLanguage Killing "tuer") | french_format.kif 840-840 | |
| (termFormat Hindi Killing "hatyaa") | terms-hindi.txt 372-372 | |
| (termFormat ItalianLanguage Killing "Uccidere") | terms-it.txt 375-375 | |
| (termFormat JapaneseLanguage Killing "殺害") | japanese_format.kif 2524-2524 | |
| (termFormat PortugueseLanguage Killing "Matar") | portuguese_format.kif 792-792 | |
| (termFormat cb Killing "pagpatay") | terms-cb.txt 377-377 | |
| (termFormat cz Killing "killing") | terms-cz.txt 411-411 | |
| (termFormat de Killing "Toetung") | terms-de.txt 670-670 | |
| (termFormat ro Killing "ucidere") | relations-ro.kif 861-861 | |
| (termFormat tg Killing "pagpatay") | terms-tg.txt 376-376 |
| antecedent |
|
|
| (=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism))) |
Merge.kif 12431-12438 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH)))) |
Merge.kif 12448-12456 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12440-12446 |
| 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)) (exists (?KILLING) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))) |
Mid-level-ontology.kif 1634-1653 | |
| (=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing)))))) |
Merge.kif 13049-13059 | |
| (=> (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 1013-1015 | |
| (=> (instance ?ANTIBIOTIC Antibiotic) (exists (?KILL ?BACTERIUM) (capability (KappaFn ?KILL (and (instance ?KILL Killing) (patient ?KILL ?BACTERIUM) (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC))) |
WMD.kif 1264-1272 | |
| (=> (instance ?O Organism) (capability Killing agent ?O)) |
Merge.kif 12458-12460 | |
| (=> (instance ?O Organism) (capability Killing patient ?O)) |
Merge.kif 12462-12464 | |
| (=> (instance ?SE ShrapnelExplosion) (hasPurpose ?SE (exists (?P) (and (or (instance ?P Injuring) (instance ?P Killing)) (causes ?SE ?P))))) |
Medicine.kif 6307-6315 | |
| (=> (instance ?T Toothbrush) (hasPurpose ?T (exists (?K ?B ?TOOTH) (and (instance ?TOOTH Tooth) (instrument ?K ?T) (instance ?K Killing) (instance ?B Bacterium) (patient ?K ?B) (patient ?K ?TOOTH))))) |
Mid-level-ontology.kif 2689-2699 |
|
|
|