Current Data About
anti-transitivity
(P31) |
(Q3924032)
|
||
(P461) |
(Q54933015)
|
||
(P1269) |
(Q54957898)
|
||
(P1889) |
(Q54980267)
|
||
(P2534) |
\forall x,y,z \in X (x \mathcal{R} y \land y \mathcal{R} z \implies \neg(x \mathcal{R} z))
|
||
(P6104) |
(Q8487137)
|