class(bat,mammal). class(dog,mammal). class(bat,mammal). class(bat,mammal). class(dog,mammal). class(platypus,mammal). class(eagle,nmammal). class(eagle,nmammal). class(ostrich,nmammal). class(shark,nmammal). class(crocodile,nmammal). class(shark,nmammal). class(penguin,nmammal). class(shark,nmammal). class(crocodile,nmammal). class(crocodile,nmammal). class(shark,nmammal). class(snake,nmammal). class(t_rex,nmammal). class(crocodile,nmammal).