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