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 12400-12401
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12398-12398	例 objectAttached and CaseRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12399-12399	子關係 objectAttached and 患者

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12403-12403
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12402-12402

consequent

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.	Mid-level-ontology.kif 23976-23985	例 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