look up any word, like twoosh:

first-order predicate calculus isn't defined.
Can you define it?