子和椅子）“例示”了性质，而其他的东西（抽象客体，例如数字，或者其他的“不实际存在的客体”，比如圆的方形，完全由金子做成的山等等）只是把（encode）性质编码了。 对于所有性质，都有且仅有一个对象把相应的那一个 性质的集合给编码了。 这就使得形式化的本体论得以存在。