TreeView Knowledge Base Browser - Inserting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Inserting

Inserting(插入)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3039-3039
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11468-11468
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1807-1807
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11466-11466	子類插入 and Putting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 566-566	子類 Catheterization and 插入
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11479-11479	子類注射 and 插入
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4119-4119	子類 Intubation and 插入
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1361-1361	子類裝載武器 and 插入
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30223-30223
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30222-30222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30221-30221

antecedent

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

Merge.kif 11470-11477

例 Process and 插入患者 Process and Entity 目的地 Process and Entity
持有期間開始何時 Process and 包含 Entity and Entity 持有期間結束何時 Process and 包含 Entity and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	例 Transfer and Thoracentesis 患者 Transfer and Object Transfer Object, TransferN, Object, Object and Object 例 Transfer and 插入子過程 Transfer and Transfer objectTransferred Transfer and Object 起源 Transfer and Object 目的地 Transfer and TransferN 例 Object and Needle attribute Object and 流體 objectTransferred Transfer and Object 目的地 Object and Object 例 Object and 肺例 Object and Chest 部分 Object and Object 部分 Object and Object 起源 Transfer and TransferN 目的地 Transfer and Object 之間 Object, TransferN and Object 方位 Object, Object and 外
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 924-938	例 Physical and Needle 有目的 Physical and entity entity, entity and entity 例 entity and Animal 例 entity and TherapeuticProcss attribute entity and 流體患者 entity and entity 儀器 entity and Physical 例 entity and Removing 例 entity and 插入子過程 entity and entity objectTransferred entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5206-5226	例 SelfConnectedObject and 檀香 HoleRegion HoleRegion 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 等於 HoleRegion and HoleRegion 有目的 HoleRegion and entity entity, entity and entity 例 entity and 調味料例 entity and 足 agent entity and entity 部分 entity and entity 子過程 entity and entity 例 entity and 插入患者 entity and entity 目的地 entity and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9614-9625	例 Entity and PlantSpinoseStructure 模態屬性 entity entity and entity 例 entity and 插入儀器 entity and Entity 例 entity and Animal 患者 entity and entity 原因 entity and entity 例 entity and 痛體驗者 entity and entity and 可能性

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