TreeView 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 12314-12316
(subclass Killing Destruction)	Merge.kif 12313-12313	子類 Killing and Destruction

appearance as argument number 2

(subclass Execution Killing)	Mid-level-ontology.kif 18256-18256	子類執行 and Killing
(subclass Harvesting Killing)	Mid-level-ontology.kif 18072-18072	子類收穫 and Killing
(subclass Lynching Killing)	Mid-level-ontology.kif 22038-22038	子類私刑 and Killing
(subclass Murder Killing)	Mid-level-ontology.kif 18443-18443	子類謀殺 and Killing
(subclass Poaching Killing)	Geography.kif 2800-2800	子類偷獵 and Killing
(subclass Starving Killing)	Mid-level-ontology.kif 18489-18489	子類挨餓 and Killing
(subclass Suffocating Killing)	Mid-level-ontology.kif 18454-18454	子類令人窒息 and Killing
(subclass Suicide Killing)	Mid-level-ontology.kif 18274-18274	子類自殺 and Killing
(subclass SuicideBombing Killing)	Mid-level-ontology.kif 22091-22091	子類自殺性爆炸事件 and Killing
(subclass UdhiyahRitual Killing)	ArabicCulture.kif 243-243	子類 udhiyah儀式 and Killing
(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 12318-12325	例 Process and Killing agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and Organism 例 Entity and Organism
(=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH))))	Merge.kif 12335-12343	例 Process and Killing 患者 Process and AutonomousAgent Process 例 Process and Death 體驗者 Process and AutonomousAgent 原因 Process and Process
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))	Merge.kif 12327-12333	例 Process and Killing 患者 Process and Entity 持有期間開始何時 Process and attribute Entity and 活的持有期間未來何時 Process and attribute Entity and 死

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 1417-1436	例 Device and 槍例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Device 的 effective 範圍距離 Device, Object and 測量 RealNumber and UnitOfMeasure 例 Object and Organism Object 之間 Object, Object and Device 小於或等於 RealNumber and RealNumber SymbolicString 能力卡帕 SymbolicString and 例 SymbolicString and Killing 患者 SymbolicString and Object, 儀器 and Device
(=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing))))))	Merge.kif 12932-12942	例 Process and 狩獵患者 Process and Entity 有目的 Process and EntityROC 患者 EntityROC and Entity 例 EntityROC and Confining 例 EntityROC and Killing
(=> (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	例 Collection and Organization attribute Collection and 農業林業捕魚和狩獵 Process AutonomousAgent 會員 AutonomousAgent and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 Process and Killing 例 Process and Maintaining 患者 Process and Entity 例 Entity and Animal 例 Entity and Plant 例 Entity and Human 會員 AutonomousAgent and Collection 例 Process and Selling agent Process and AutonomousAgent 患者 Process and Entity
(=> (instance ?AGENT LifeThreateningAgent) (capability Killing instrument ?AGENT))	WMD.kif 1013-1015	例 Object and 危及生命的特工能力 Killing, 儀器 and Object
(=> (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	例 Object and 抗生素 SymbolicString entity 能力卡帕 SymbolicString and 例 SymbolicString and Killing 患者 SymbolicString and entity 例 entity and Bacterium, agent and Object
(=> (instance ?O Organism) (capability Killing agent ?O))	Merge.kif 12345-12347	例 Object and Organism 能力 Killing, agent and Object
(=> (instance ?O Organism) (capability Killing patient ?O))	Merge.kif 12349-12351	例 Object and Organism 能力 Killing, 患者 and Object
(=> (instance ?SE ShrapnelExplosion) (hasPurpose ?SE (exists (?P) (and (or (instance ?P Injuring) (instance ?P Killing)) (causes ?SE ?P)))))	Medicine.kif 6290-6298	例 Physical and ShrapnelExplosion 有目的 Physical and entity 例 entity and Injuring 例 entity and Killing 原因 Physical and entity
(=> (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 2226-2236	例 Physical and 牙刷有目的 Physical and entity entity and PhysicalOOTH 例 PhysicalOOTH and 齒儀器 entity and Physical 例 entity and Killing 例 entity and Bacterium 患者 entity and entity 患者 entity and PhysicalOOTH

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: