First Order Logic help with corrections.

Please take a look at my First Order Logic, I am to definte my predicates/properties/functions, which I believe I tried my best to do, please check my work and feel free to make corrections, I would appreciate it.

Code:

`iii.`

a.) Bob is a Bird.

Bird(Bob)

b.) Birds fly.

for all birds (x) -> Fly(x)

c.) The African Zoo is a zoo.

AfricanZoo (x): the african zoo.

IsAZoo (x): x is in fact a zoo.

There exists x ( AfricanZoo(x)^IsAzoo(x) )

d.)The African Zoo has a bird.

AfricanZoo (x): x is an african zoo

HasBird (x): x Has a bird there.

There exists x (AfricanZoo(x)^HasBird(x))

e.) Every Zoo has atleast one bird.

Zoo (x): x is a zoo.

HasBird (x): x is a bird there.

For all x, (Zoo(x)->HasBird(x)

f.) Some zoos have a bird that is bigger than all other birds.

Zoo (x): x is a zoo.

BigBird(x): x the biggest bird is there.

There exists a x ( zoo (x)^BigBird(x) )

g.) Every person who meets a manatee is impressed by it.

for all persons x, there exists a manatee y

MeetingAManatee(x, y)^Impressed(x,y)

h.) Zoos that have birds but no alligators are unpopular.

Zoo (x): x is a zoo.

HasBirds (x): x has birds.

HasAlligators (x): x Has alligators.

Unpopular (x): x is unpopular

For all Zoos x ( Zoos (x)^UnPopular ( HasBirds(x)^-(HasAlligators(x)) ) )

using propositional logic

I believe to help decide what tactics to use, trying with unification and resolution.

Please help with this.