Bellerophon in the Real and Mythological Worlds

: all(x,y)(Rides(x,y) => andor(1,1){Travelsby(x, air), Travelsby(x, ground)}).

: all(x,y)(Rides(x,y) => thresh(1,1){Winged(y), Travelsby(x, air)}).

: Rides(Bellerophon, Pegasus).

Previous slide

Next slide

Back to first slide

View graphic version