Death - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2905-2905
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10273-10273
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1654-1654
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6347-6347
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6348-6348
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6349-6349
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6350-6350
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5948-5948
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10271-10271	子類 Death and OrganismProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6284-6284	子類 Asphyxiation and Death
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6300-6300	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1077-1077	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1365-1365	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	french_format.kif 755-755	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 287-287	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 290-290	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2439-2439	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 707-707	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 292-292	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 326-326	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 585-585	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 776-776	子類 Bleedout and Death
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 291-291	子類 Bleedout and Death

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	例 Process and 流血的例 Entity and Death 例 Formula and Human 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent 方位 Formula, AutonomousAgent and 近模態屬性原因 Process and Entity and 容易持有義務 Formula and entity 例 entity and ApplyingTourniquet agent entity and Formula 目的地 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10287-10302	例 Process and Death 例 AutonomousAgent and Organism 體驗者 Process and AutonomousAgent Entity entity 結果 Process and Entity 例 Entity and OrganicObject 持有期間未來何時 Process and attribute Entity and 死持有期間眼前的未來何時 Process and 部分 entity and Entity 持有期間不久的過去何時 Process and 部分 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	例 Process and Death 例 Entity and OrganismRemains 例 AutonomousAgent and Organism 持有期間 TimeInterval and 部分 entity and Entity 持有期間 TimeInterval and 部分 entity and AutonomousAgent 早期 TimeInterval and TimeInterval 體驗者 Process and AutonomousAgent 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	例 Process and Death 例 Entity and OrganismRemains 例 AutonomousAgent and Organism 持有期間 TimeInterval and 部分 entity and Entity 持有期間 TimeInterval and 部分 entity and AutonomousAgent 早期 TimeInterval and TimeInterval 結果 Process and Entity 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 114-120	例 Entity and 一個 dead OrganicObject 例 Process and Death 結果 Process and Entity 體驗者 Process and AutonomousAgent 例 AutonomousAgent and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	例 Entity and OrganicObject 例 Process and Death 例 AutonomousAgent and Organism 體驗者 Process and AutonomousAgent 結果 Process and Entity 例 Entity and OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 122-130	例 Entity and OrganismRemains 例 Process and Death 體驗者 Process and AutonomousAgent 例 AutonomousAgent and AutonomousAgentTYPE 子類 AutonomousAgentTYPE and OrganicObject 結果 Process and Entity 例 Entity and 一個 dead AutonomousAgentTYPE
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	例內容承載物理 and DeathCertificate 例 Process and Death 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and ProcessAY entity, entity and entityROC ProcessAY 是 AutonomousAgent 的 deathdate 例 ProcessAY and Day entity 是 AutonomousAgent 的 deathplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name 原因 entityROC and Process 例 entityROC and Process

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千裡的 deaths and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 年齡 entity and 測量 entity and 年持續時間少於 entity and 1 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 entityDEATHCOUNT and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	例年 and 年 Integer 等於 GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	例年 and 年 Integer 等於 GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4197-4221	attribute Object and ToxicandInfectiousSubstance 例 Object and Substance 例 Object and Microorganism AutonomousAgent Process, Process and Process 例 AutonomousAgent and Human 例 AutonomousAgent and Animal 方位 Object, AutonomousAgent and 近例 Process and 吸入例 Process and Ingesting 例 Process and Touching agent Process and AutonomousAgent 患者 Process and Object 原因 Process and Process 患者 Process and AutonomousAgent 例 Process and Process 能力 Process, 資源 and Object 子類 Process and Injuring 子類 Process and Death
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1533-1543	例 Process and Anaphylaxis 體驗者 Process and AutonomousAgent 模態屬性 entity 例 entity and Death 體驗者 entity and AutonomousAgent 原因 Process and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19768-19784	例 Transfer and 遺贈 agent Transfer and AutonomousAgent 目的地 Transfer and Entity objectTransferred Transfer and AutonomousAgentROP Process 例 Process and Death 體驗者 Process and AutonomousAgent 早期何時 Process and 何時 Transfer 持有期間不久的過去何時 Process and 擁有 AutonomousAgent and AutonomousAgentROP AutonomousAgent confers 規範擁有 Entity and AutonomousAgentROP 對於允許
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10262-10269	例 Process and Birth 體驗者 Process and AutonomousAgent Process 例 Process and Death 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1029-1033	例 Attribute and 危及生命的疾病 attribute Object and Attribute 能力 Death, 體驗者 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19710-19728	例 Process and 繼承 agent Process and CognitiveAgent 起源 Process and AutonomousAgent 患者 Process and Entity Process 例 Process and Death 體驗者 Process and AutonomousAgent 早期何時 Process and 何時 Process 持有期間不久的過去何時 Process and 擁有 AutonomousAgent and Entity 賦予權利擁有 CognitiveAgent and Entity, AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12388-12396	例 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.	Medicine.kif 5983-6003	例 TimeInterval and TimePeriod 持續時間 TimeInterval and 測量 RealNumber and 分鐘比較多 RealNumber and 5.0 例 Entity and Human Process 例 Process and Breathing 期間何時 Process and TimeInterval 患者 Process and Entity 模態屬性 entity 例 entity and Death 體驗者 entity and Entity 短暫相遇 TimeInterval and 何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25403-25409	Day 是 Human 的 deathdate Process 例 Process and Death 體驗者 Process and Human 日期 Process and Day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25419-25425	Object 是 Animal 的 deathplace Process 例 Process and Death 體驗者 Process and Animal Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 890-900	RealNumber 是 DiseaseOrSyndrome 的 disease 死亡條件概率 entity 例 entity and Organism attribute entity and DiseaseOrSyndrome, entity 例 entity and Death 體驗者 entity and entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21657-21667	持有期間 TimePosition and 例 entity and IntensiveCareUnit entity stays 在 entity 模態屬性 entity 例 entity and Death 飾面何時 entity and TimePosition and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16935-16940	例 Entity and 葬禮 Entity 例 Entity and Death 參照 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 67-72	例 Entity and OrganismRemains Process 例 Process and Death 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Biography.kif 270-278	例 Physical and DeathCertificate 有目的 Physical and entity entity 例 entity and Death 例 entity and Human 體驗者 entity and entity 代表 Physical and entity

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: