SNePSLOG Transitivity Rule

: all(R)(Transitive(R) =>

all(x,y,z)({R(x,y), R(y,z)}

&=> {R(x,z)})).

: Transitive(bigger).

: bigger(elephant,lion).

: bigger(lion,mouse).

: bigger(elephant,mouse)?

BIGGER(ELEPHANT,MOUSE)

Previous slide

Next slide

Back to first slide

View graphic version