And the idea of many-sorted makes the discussion of objects in different granularity possible, such as to represent points, lines, surface (even body) and time meanwhile.

• 多类逻辑对于论域分类的思想使得同时讨论点、线、面（乃至体）成为可能。