Please help me translate these english sentence into Predicate calculus. I have hard time doing it.

Question

1. Everything is greater than or equa to itself;
2. For evert number n, the resut of adding n to 9 is greater than or equal to 9;
3. Everything has something greater than it.

This is for my semantics homework, I tried to first question, but I think I got it wrong, My answer is ∀X1[greater(X1)∨equal(X2)]. Please correct my first question and help me with next two questions. Thank you so much!

Answer 1

1. $\forall x[x\mbox{ is greather than }x \vee x\mbox{ is equal to x }]$

2.$\forall n:[ n+9\mbox{ is greather than }9 \vee n+9 \mbox{ is equal to }9]$ Where $n+9$ denotes the result of adding n to 9

3. $\forall x, \exists y:[ y\mbox{ is greather than }x]$

Answer 2

The first can be written as $\forall{x}.x \ge x$, or $\forall{x}.x \gt x \vee x = x$ if the language doesn't include $\ge$. Your answer looks almost right, but the predicates "greater" and "equal" each require two arguments and you have an unquantified variable X2. In the same style I would write the answer as ∀X1[greater(X1,X1)∨equal(X1,X1)].

Can you take it from here?