Riding in the Real World

: all(x)(Winged(x) <=> Bird(x)).

: Travelsby(Bellerophon,?what)?

TRAVELSBY(BELLEROPHON,GROUND)

~TRAVELSBY(BELLEROPHON,AIR)

Previous slide

Next slide

Back to first slide

View graphic version