 |
 |
Simon Spero wrote: > (1) Everything which is eaten by something is a food. > > (2) Everything that a carnivore eats is an animal. Everything that > eats an animal is a carnivore. > > (3) Everything that a herbivore eats is a plant. Everything that eats > a plant is a herbivore. > > (4) Every fly is an animal. Every antelope is an animal. Every flytrap > is a plant. > > (5) Fred is a fly. Audrey is a flytrap. Ann is an antelope. Noel is a > grass. Agatha is an antelope. > > (6) Audrey eats Fred. Ann eats Audrey. Ann eats Noel. > > Let's think about how this can be translated to OWL, then consider what > other sentences are entailed. Wow, this is like working on the MENSA quiz in the airline magazine on the way to an ALA conference! ;) Kevin M. Randall Principal Serials Cataloger Northwestern University Library [log in to unmask] (847) 491-2939 Proudly wearing the sensible shoes since 1978!