isSkewSymmetric

P93940 predicate

Indicates that a relation or matrix changes sign when its arguments or indices are swapped, i.e., R(x, y) = −R(y, x), with all diagonal/self-relations being zero.

Observed surface forms (1)

Sample triples (2)

Subject Object
Weil pairing true
Poisson bracket true via predicate surface "isAntisymmetric"