体论同义词表示"个体的计算")。卡塞迪与瓦力较偏好限制本体论至实体物件，不过其他人就任意地应用分体拓扑理论来合理化几何图形与事件，并借由提出人工智能的研究工作来解决问题。使用一个大写的拉丁字母来定义一个二元关系及谓词变量()，而谓词变量的字母关系到一阶逻辑的关系。从拉丁字母群(A-Z)的后段取用小写字母来定义变量范围，且及于整个定义域；而从字母群的初始段取用的小写字母就用来作为任意个体的名称。假如以一公式以原子公式表示再接着，因此逻辑双如言右边的次公式表为原子公式的定义，他们的变量就为非约束形式。否则，