TreeView Knowledge Base Browser - objectAttached

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - objectAttached

objectAttached

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12378-12379
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12376-12376	例 objectAttached and CaseRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12377-12377	子關係 objectAttached and 患者

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12381-12381
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12380-12380

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12383-12397	例 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.	Mid-level-ontology.kif 23977-23986	例 Process and Fertilisation Entity Entity 例 Entity and Gamete 例 Entity and Gamete 等於 Entity and Entity objectAttached Process and Entity objectAttached Process 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