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 12292-12294 | |
(subclass Killing Destruction) | Merge.kif 12291-12291 | 殺害 は 破壊 の subclass では %n |
appearance as argument number 2 |
(subclass Execution Killing) | Mid-level-ontology.kif 18257-18257 | Execution は 殺害 の subclass では %n |
(subclass Harvesting Killing) | Mid-level-ontology.kif 18073-18073 | Harvesting は 殺害 の subclass では %n |
(subclass Lynching Killing) | Mid-level-ontology.kif 22039-22039 | Lynching は 殺害 の subclass では %n |
(subclass Murder Killing) | Mid-level-ontology.kif 18444-18444 | Murder は 殺害 の subclass では %n |
(subclass Poaching Killing) | Geography.kif 2800-2800 | Poaching は 殺害 の subclass では %n |
(subclass Starving Killing) | Mid-level-ontology.kif 18490-18490 | Starving は 殺害 の subclass では %n |
(subclass Suffocating Killing) | Mid-level-ontology.kif 18455-18455 | Suffocating は 殺害 の subclass では %n |
(subclass Suicide Killing) | Mid-level-ontology.kif 18275-18275 | Suicide は 殺害 の subclass では %n |
(subclass SuicideBombing Killing) | Mid-level-ontology.kif 22092-22092 | SuicideBombing は 殺害 の subclass では %n |
(subclass UdhiyahRitual Killing) | ArabicCulture.kif 243-243 | UdhiyahRitual は 殺害 の subclass では %n |
(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 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 12296-12303 | |
(=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH)))) |
Merge.kif 12313-12321 | |
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12305-12311 |
consequent |