部分关系是一种普遍存在于对象之中的基础而重要的关系。分体论作为研究“部分—整体”关系的理论，既是谓词逻辑的一种应用，也是形式本体论的一个分支。一般而言，分体论系统是通过将一些形式本体论的内容加入谓词逻辑来构建的。以P.霍夫达提出经典分体论系统CLM为基础，可以证明诸多涉及部分关系的定理，这些定理连同公理既表达了部分关系又表达了同一关系的内容，具有较强的本体论含义。因此，部分关系的基本性质为解决涉及部分关系的哲学问题提供了有效的路径。