subrelation

Instances 抽象体 这些特质或质量，和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上，可以说是像数学物体如集合和关系般存在，但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。 二元谓语 这是一个联系两个项目的 Predicate - 它的配价是二