This particular notation is called attribute value matrix (AVM).
このような記法を「属性値行列（attribute value matrix、AVM）」と呼ぶ。