在词项逻辑的意义上，“苏格拉底是有死的”中的系词“是”表达的是（）。