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 12453-12453	不相交的 Attaching and Detaching
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3163-3167	不相交的 Attaching and Detaching
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12456-12463	不相交的 Attaching and Detaching
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12454-12454	相關的內部概念 Attaching and Putting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12452-12452	子類 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 25619-25619	子類 Fertilisation and Attaching
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11609-11609	子類抓 and Attaching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6571-6571	子類針線活 and Attaching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6590-6590	子類焊接 and Attaching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6562-6562	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1165-1165	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1547-1547	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	french_format.kif 843-843	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 375-375	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 378-378	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2527-2527	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 795-795	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 380-380	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 414-414	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 673-673	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 864-864	子類打字 and Attaching
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 379-379	子類打字 and Attaching

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4711-4717	例 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 12488-12502	例 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 12465-12472	例 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 841-863	例 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 12474-12479	例 Process and Attaching Entity 例 Entity and CorpuscularObject 患者 Process and Entity

consequent

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.	Economy.kif 2140-2147	例 Process and ProductAssembly Process 是 located 在 Object 例 Object and AssemblyStation 例 Process and Attaching 例 Process and Combining
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 4233-4241	例 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 16143-16148	例 Object and 附著裝置 Process 例 Process and Attaching 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10128-10134	例 Physical and 膠有目的 Physical and entity 例 entity and Attaching 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4252-4260	例 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