Attaching - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Attaching

Attaching

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12370-12370	不相交的 Attaching and Detaching
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3163-3167
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12373-12380
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12371-12371	相關的內部概念 Attaching and Putting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12369-12369	子類 Attaching and DualObjectProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 61-61	子類 ApplyingTourniquet and Attaching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23964-23964	子類 Fertilisation and Attaching
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11526-11526	子類抓 and Attaching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5607-5607	子類針線活 and Attaching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5626-5626	子類焊接 and Attaching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5598-5598	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1165-1165
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1547-1547
No TPTP formula. May not be expressible in strict first order.	french_format.kif 843-843
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 375-375
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 378-378
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2527-2527
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 795-795
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 380-380
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 414-414
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 864-864
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 379-379

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4242-4248	例 Object and 錨例 ObjectTTACH and Attaching 儀器 ObjectTTACH and Object 患者 ObjectTTACH and Entity 例 Entity and 水車
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12405-12419	例 Process and Attaching 患者 Process and Entity 患者 Process and Entity 持有期間開始何時 Process and 連接的 Entity and Entity 持有期間結束何時 Process and 連接的 Entity and Entity objectAttached Process and Entity objectAttached Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12382-12389	例 Process and Attaching 患者 Process and Entity 患者 Process and Entity 持有期間開始何時 Process and 連接的 Entity and Entity 持有期間結束何時 Process and 連接的 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	例 Object and VentedChestSeal 例 Transfer and Attaching objectTransferred Transfer and Object 目的地 Transfer and Entity 有目的 Object and Transfer entity, entity and Entity 例 Transfer and 空氣例 entity and 肺例 entity and Chest 部分 entity and Entity 部分 entity and Entity 持有期間不久的過去何時 Transfer and 之間 entity, Transfer and entity 有目的 Object and 持有期間眼前的未來何時 Transfer and 方位 Transfer, Entity and 外
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12391-12396	例 Process and Attaching Entity 例 Entity and CorpuscularObject 患者 Process and Entity

consequent

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.	ArabicCulture.kif 420-431	例 Process and 調味料例 Physical and oqal 例 Entity and 帽子患者 Process and Physical 患者 Process and Entity 有目的 Physical and entity 例 entity and Attaching 儀器 entity and Physical
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.	Cars.kif 4180-4188	例 Physical and Bolt 有目的 Physical and entity entity 例 entity and Attaching 例 entity and MechanicalNut 儀器 entity and Physical 儀器 entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16038-16043	例 Object and 附著裝置 Process 例 Process and Attaching 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8901-8907	例 Physical and 膠有目的 Physical and entity 例 entity and Attaching 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4199-4207	例 Physical and MechanicalNut 有目的 Physical and entity entity 例 entity and Attaching 例 entity and Bolt 儀器 entity and entity 儀器 entity and Physical

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