TreeView Knowledge Base Browser - Intubation

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MidlatitudeContinentalClimateZone

Sigma KEE - Intubation

Intubation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4098-4099
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4120-4121
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4119-4119	子類 Intubation and 插入

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4135-4145	例 Transfer and Intubation 例 Object and 管 objectTransferred Transfer and Object 體驗者 Transfer and AutonomousAgent ObjectH 例 ObjectH and Trachea 部分 ObjectH and AutonomousAgent 目的地 Transfer and ObjectH
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4123-4133	例 Transfer and Intubation 例 Object and 管 objectTransferred Transfer and Object 體驗者 Transfer and AutonomousAgent 有目的 Transfer and entity 例 entity and Breathing 儀器 entity and Object

consequent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 4105-4117

例 Object and InvasiveVentilator 例 Process and Breathing 體驗者 Process and AutonomousAgent 儀器 Process and Object
Process 例 Process and Intubation 目的地 Process and AutonomousAgent 早期何時 Process and 何時 Process

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