Killing - Sigma Knowledge base Browser

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 12397-12399
(subclass Killing Destruction)	Merge.kif 12396-12396	殺害は破壊の subclass では %n

appearance as argument number 2

(subclass Execution Killing)	Mid-level-ontology.kif 19835-19835	Execution は殺害の subclass では %n
(subclass Harvesting Killing)	Mid-level-ontology.kif 19651-19651	Harvesting は殺害の subclass では %n
(subclass Lynching Killing)	Mid-level-ontology.kif 23688-23688	Lynching は殺害の subclass では %n
(subclass Murder Killing)	Mid-level-ontology.kif 20022-20022	Murder は殺害の subclass では %n
(subclass Poaching Killing)	Geography.kif 2788-2788	Poaching は殺害の subclass では %n
(subclass Starving Killing)	Mid-level-ontology.kif 20068-20068	Starving は殺害の subclass では %n
(subclass Suffocating Killing)	Mid-level-ontology.kif 20033-20033	Suffocating は殺害の subclass では %n
(subclass Suicide Killing)	Mid-level-ontology.kif 19853-19853	Suicide は殺害の subclass では %n
(subclass SuicideBombing Killing)	Mid-level-ontology.kif 23741-23741	SuicideBombing は殺害の subclass では %n
(subclass UdhiyahRitual Killing)	ArabicCulture.kif 243-243	UdhiyahRitual は殺害の subclass では %n
(termFormat ChineseLanguage Killing "杀害")	chinese_format.kif 1162-1162	UdhiyahRitual は殺害の subclass では %n
(termFormat EnglishLanguage Killing "killing")	english_format.kif 1541-1541	UdhiyahRitual は殺害の subclass では %n
(termFormat FrenchLanguage Killing "tuer")	french_format.kif 840-840	UdhiyahRitual は殺害の subclass では %n
(termFormat Hindi Killing "hatyaa")	terms-hindi.txt 372-372	UdhiyahRitual は殺害の subclass では %n
(termFormat ItalianLanguage Killing "Uccidere")	terms-it.txt 375-375	UdhiyahRitual は殺害の subclass では %n
(termFormat JapaneseLanguage Killing "殺害")	japanese_format.kif 2524-2524	UdhiyahRitual は殺害の subclass では %n
(termFormat PortugueseLanguage Killing "Matar")	portuguese_format.kif 792-792	UdhiyahRitual は殺害の subclass では %n
(termFormat cb Killing "pagpatay")	terms-cb.txt 377-377	UdhiyahRitual は殺害の subclass では %n
(termFormat cz Killing "killing")	terms-cz.txt 411-411	UdhiyahRitual は殺害の subclass では %n
(termFormat de Killing "Toetung")	terms-de.txt 670-670	UdhiyahRitual は殺害の subclass では %n
(termFormat ro Killing "ucidere")	relations-ro.kif 861-861	UdhiyahRitual は殺害の subclass では %n
(termFormat tg Killing "pagpatay")	terms-tg.txt 376-376	UdhiyahRitual は殺害の subclass では %n

antecedent

(=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism)))	Merge.kif 12401-12408	工程は殺害の instance では %n AutonomousAgent は工程の agent では %n エンティティーは工程の patient では %n AutonomousAgent は物の instance では %n エンティティーは物の instance では %n
(=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH))))	Merge.kif 12418-12426	工程は殺害の instance では %n AutonomousAgent は工程の patient では %n 工程工程は死の instance では %n AutonomousAgent が工程を experiences %n{ない} 工程は工程を causes %n{ない}
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))	Merge.kif 12410-12416	工程は殺害の instance では %n エンティティーは工程の patient では %n Living はエンティティーの attribute では %n は工程の time の existence の beginning の during holds %n{ない} Dead はエンティティーの attribute では %n は工程の time の existence の after の during holds %n{ない}

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 1640-1659	デバイスは Gun の instance では %n 測定単位は UnitOfLength の instance では %n effectiveRange デバイス and 実数の測定単位(s) デバイスとオブジェクトの distance は実数1 の測定単位(s) では %n オブジェクトは物の instance では %n オブジェクト2 オブジェクト2 はオブジェクトとデバイスの between では %n 実数1 は実数より less または同等では %n 記号文字列デバイスは記号文字列で記述される class を instrument として行う capable では %n
(=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing))))))	Merge.kif 13015-13025	工程は Hunting の instance では %n エンティティーは工程の patient では %n 工程はエンティティーROC エンティティーはエンティティーROC の patient では %n エンティティーROC は閉じ込めの instance では %n エンティティーROC は殺害の instance では %n の目的 %n{ない}
(=> (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 では %n AgricultureForestryFishingAndHunting はコレクションの attribute では %n 工程 AutonomousAgent AutonomousAgent はコレクションの member では %n AutonomousAgent は工程の agent では %n エンティティー工程2 and AutonomousAgent2 工程は殺害の instance では %n 工程は維持の instance では %n エンティティーは工程の patient では %n エンティティーは動物の instance では %n エンティティーは植物の instance では %n エンティティーは人［人間］の instance では AutonomousAgent2 はコレクションの member では %n 工程2 は販売の instance では %n AutonomousAgent2 は工程2 の agent では %n エンティティーは工程2 の patient では %n
(=> (instance ?AGENT LifeThreateningAgent) (capability Killing instrument ?AGENT))	WMD.kif 1013-1015	オブジェクトは LifeThreateningAgent の instance では %n オブジェクトは殺害を instrument として行う capable では %n
(=> (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	オブジェクトは Antibiotic の instance では %n 記号文字列エンティティーオブジェクトは記号文字列で記述される class を agent として行う capable では %n
(=> (instance ?O Organism) (capability Killing agent ?O))	Merge.kif 12428-12430	オブジェクトは物の instance では %n オブジェクトは殺害を agent として行う capable では %n
(=> (instance ?O Organism) (capability Killing patient ?O))	Merge.kif 12432-12434	オブジェクトは物の instance では %n オブジェクトは殺害を patient として行う capable では %n
(=> (instance ?SE ShrapnelExplosion) (hasPurpose ?SE (exists (?P) (and (or (instance ?P Injuring) (instance ?P Killing)) (causes ?SE ?P)))))	Medicine.kif 6271-6279	物理は ShrapnelExplosion の instance では %n 物理はエンティティーエンティティーはけがの instance では %n エンティティーは殺害の instance では %n 物理はエンティティーを causes %n{ない} の目的 %n{ない}
(=> (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 2695-2705	物理は Toothbrush の instance では %n 物理はエンティティーエンティティー and 物理OOTH 物理OOTH は Tooth の instance では %n 物理はエンティティーの instrument では %n エンティティーは殺害の instance では %n エンティティーは細菌の instance では %n エンティティーはエンティティーの patient では %n 物理OOTH はエンティティーの patient では %n の目的 %n{ない}

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: