Killing - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3157-3158
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12397-12399
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12396-12396	子類 Killing and Destruction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19835-19835	子類執行 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19651-19651	子類收穫 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23688-23688	子類私刑 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20022-20022	子類謀殺 and Killing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2788-2788	子類偷獵 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20068-20068	子類挨餓 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20033-20033	子類令人窒息 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19853-19853	子類自殺 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23741-23741	子類自殺性爆炸事件 and Killing
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 243-243	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1162-1162	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1541-1541	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	french_format.kif 840-840	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 372-372	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 375-375	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2524-2524	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 792-792	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 377-377	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 411-411	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 670-670	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 861-861	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 376-376	子類 udhiyah儀式 and Killing

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12401-12408	例 Process and Killing agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and Organism 例 Entity and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12418-12426	例 Process and Killing 患者 Process and AutonomousAgent Process 例 Process and Death 體驗者 Process and AutonomousAgent 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12410-12416	例 Process and Killing 患者 Process and Entity 持有期間開始何時 Process and attribute Entity and 活的持有期間未來何時 Process and attribute Entity and 死

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1640-1659	例 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13015-13025	例 Process and 狩獵患者 Process and Entity 有目的 Process and EntityROC 患者 EntityROC and Entity 例 EntityROC and Confining 例 EntityROC and Killing
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1013-1015	例 Object and 危及生命的特工能力 Killing, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1264-1272	例 Object and 抗生素 SymbolicString entity 能力卡帕 SymbolicString and 例 SymbolicString and Killing 患者 SymbolicString and entity 例 entity and Bacterium, agent and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12428-12430	例 Object and Organism 能力 Killing, agent and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12432-12434	例 Object and Organism 能力 Killing, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6271-6279	例 Physical and ShrapnelExplosion 有目的 Physical and entity 例 entity and Injuring 例 entity and Killing 原因 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2695-2705	例 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 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: