分体拓扑学 在形式本体论英语formal ontology领域形而上学的一个分支以及在计算机与信息科学本体领域分体拓扑学英语mereotopology是一种关于整体部分部分之部分以及部分间边界之间关系的用于具体表达分体论及拓扑学概念的一阶理论英语firstorder theory