![]() |
![]() ![]() ![]()
|
![]() |
|
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 12442-12444 | |
(subclass Killing Destruction) | Merge.kif 12441-12441 | Tuer est une sous-classe de destruction |
appearance as argument number 2 |
![]() |
(subclass Execution Killing) | Mid-level-ontology.kif 19828-19828 | Execution est une sous-classe de tuer |
(subclass Harvesting Killing) | Mid-level-ontology.kif 19644-19644 | Harvesting est une sous-classe de tuer |
(subclass Lynching Killing) | Mid-level-ontology.kif 23682-23682 | Lynching est une sous-classe de tuer |
(subclass Murder Killing) | Mid-level-ontology.kif 20015-20015 | Murder est une sous-classe de tuer |
(subclass Poaching Killing) | Geography.kif 2958-2958 | Poaching est une sous-classe de tuer |
(subclass Starving Killing) | Mid-level-ontology.kif 20061-20061 | Starving est une sous-classe de tuer |
(subclass Suffocating Killing) | Mid-level-ontology.kif 20026-20026 | Suffocating est une sous-classe de tuer |
(subclass Suicide Killing) | Mid-level-ontology.kif 19846-19846 | Suicide est une sous-classe de tuer |
(subclass SuicideBombing Killing) | Mid-level-ontology.kif 23735-23735 | SuicideBombing est une sous-classe de tuer |
(subclass UdhiyahRitual Killing) | ArabicCulture.kif 243-243 | UdhiyahRitual est une sous-classe de tuer |
(termFormat ChineseLanguage Killing "杀害") | chinese_format.kif 1162-1162 | UdhiyahRitual est une sous-classe de tuer |
(termFormat EnglishLanguage Killing "killing") | english_format.kif 1541-1541 | UdhiyahRitual est une sous-classe de tuer |
(termFormat FrenchLanguage Killing "tuer") | french_format.kif 840-840 | UdhiyahRitual est une sous-classe de tuer |
(termFormat Hindi Killing "hatyaa") | terms-hindi.txt 372-372 | UdhiyahRitual est une sous-classe de tuer |
(termFormat ItalianLanguage Killing "Uccidere") | terms-it.txt 375-375 | UdhiyahRitual est une sous-classe de tuer |
(termFormat JapaneseLanguage Killing "殺害") | japanese_format.kif 2524-2524 | UdhiyahRitual est une sous-classe de tuer |
(termFormat PortugueseLanguage Killing "Matar") | portuguese_format.kif 792-792 | UdhiyahRitual est une sous-classe de tuer |
(termFormat cb Killing "pagpatay") | terms-cb.txt 377-377 | UdhiyahRitual est une sous-classe de tuer |
(termFormat cz Killing "killing") | terms-cz.txt 411-411 | UdhiyahRitual est une sous-classe de tuer |
(termFormat de Killing "Toetung") | terms-de.txt 670-670 | UdhiyahRitual est une sous-classe de tuer |
(termFormat ro Killing "ucidere") | relations-ro.kif 861-861 | UdhiyahRitual est une sous-classe de tuer |
(termFormat tg Killing "pagpatay") | terms-tg.txt 376-376 | UdhiyahRitual est une sous-classe de tuer |
antecedent |
![]() |
(=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism))) |
Merge.kif 12446-12453 | |
(=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH)))) |
Merge.kif 12463-12471 | |
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12455-12461 |
consequent |
![]() |
![]() |
![]() |