Relation PART-OVERLAPS

Alias: Common-part

Arity: 2

• Defined in theory: Mereology
• Source code: Mereology.lisp