TreeView Knowledge Base Browser - Bleeding

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Bleeding

Bleeding(流血的)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21379-21380
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5885-5885
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6171-6171
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6172-6172
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21377-21377	子類流血的 and 自主過程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21378-21378	子類流血的 and 液體運動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6315-6315	子類 Bleedout and 流血的
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11309-11309
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11308-11308
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11307-11307

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	例 Process and 流血的體驗者 Process and AutonomousAgent Object Process 例 Object and 靜脈例 Object and 動脈部分 Object and AutonomousAgent 例 Process and Damaging 早期何時 Process and 何時 Process 患者 Process and Object
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.	Mid-level-ontology.kif 21395-21403	例 Process and 流血的體驗者 Process and AutonomousAgent Entity 例 Entity and Blood 持有期間開始何時 Process and 部分 Entity and AutonomousAgent 持有期間結束何時 Process and 部分 Entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21389-21393	例 Process and 流血的體驗者 Process and AutonomousAgent 例 AutonomousAgent and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21382-21387	例 Process and 流血的 Process 例 Process and Injuring 原因 Process and Process

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 425-432	attribute Object and Bruise Process Process 例 Process and Injuring 患者 Process and Object 例 Process and 流血的原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 20-39	持有期間 TimePosition and attribute Object and Tourniquet AutonomousAgent Process and Transfer 例 AutonomousAgent and Human 例 Process and 流血的例 Transfer and Attaching 體驗者 Process and AutonomousAgent 目的地 Transfer and AutonomousAgent objectTransferred Transfer and Object 有目的 Object and Process 例 Process and 流血的暫時重疊何時 Process and 眼前的未來何時 Transfer 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1050-1066	例 Physical and TranexamicAcid 有目的 Physical and entity 例 entity and Human 降低可能性 entity 例 entity and Ingesting objectTransferred entity and Physical 目的地 entity and entity and entity entity 例 entity and Human 例 entity and 流血的起源 entity 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