ZOOKEEPER

Rule Base

Z1	if	(has x hair)
	then	(isa x mammal)

Z2	if	(gives_milk x)
	then	(isa x mammal)

Z3	if	(has x feathers)
	then	(isa x bird)

Z4	if	(flies x)
		(lays_eggs x)	
	then	(isa x bird)

Z5	if	(isa x mammal)
		(eats x meat)
	then	(isa x carnivore)

Z6	if	(isa x mammal)
		(has x pointed_teeth)
		(has x claws)
		(has x forward_pointing_eyes)
	then	(isa x carnivore)

Z7	if	(isa x mammal)
		(has x hoofs)
	then	(isa x ungulate)

Z8	if	(isa x mammal)
		(chews_cud x)
	then	(isa x ungulate)

Z9	if	(isa x carnivore)
		(color x tawny)
		(has x dark_spots)	
	then	(isa x cheetah)

Z10	if	(isa x carnivore)
		(color x tawny)
		(has x black_stripes)	
	then	(isa x tiger)

Z11	if	(isa x ungulate)
		(has x long_legs)
		(has x long_neck)
		(color x tawny)
		(has x dark_spots)
	then	(isa x giraffe)

Z12	if	(isa x ungulate)
		(color x white)
		(has x black_stripes)
	then	(isa x zebra)

Z13	if	(isa x bird)
		(not (flies x))
		(has x long_legs)
		(has x long_neck)
		(color x (and black white))
	then	(isa x ostrich)

Z14	if	(isa x bird)
		(not (flies x))
		(swims x)
		(color x (and black white))
	then	(isa x penguin)

Z15	if	(isa x bird)
		(not (flies x))
	then	(isa x albatross)