TreeView Knowledge Base Browser - Death

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Death

Death

more pictures...

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 10208-10208
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 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 6351-6351
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5949-5949
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10206-10206	子類 Death and OrganismProcess

appearance as argument number 2

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

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 Attaching agent entity and Formula 目的地 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	例 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 121-127	例 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 129-137	例 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.	Medicine.kif 1545-1555	例 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 18679-18695	例 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 10197-10204	例 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 18621-18639	例 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 12313-12321	例 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 5997-6017	例 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 24284-24290	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 24300-24306	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 20568-20578	持有期間 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 16007-16012	例 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 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