Write First-Order Logic sentences for all problems below.

You may use the following symbols: " $ ~

All zebras have stripes.

Not all cats have a tail.

Anyone who enjoys homework and writing papers must be an AI student.

Snoopy is a dog and likes bones.

All computers have a CPU and memory.

There is at least one dog in the world who likes cats.

All green ogres are related to Shrek.

There is someone in this class who likes first-order logic (FOL).

Anyone who is a child of my mother or a child of my father is my sibling.