Predicates in first-order logic sentences - artificial intelligence
There are predicates first and foremost in first-order logic sentences. These are indications that some things are related in some way. We call the things that are related to predicate the arguments of the predicate, and the number of arguments which are related is called the arty of the predicate. The following are examples of predicates are given:
lectures_ai(simon) ("simon lectures AI") arity is 1 here
father(bob,bill) ("bob is bill's father") arity is 2 here
lives_at (bryan, house_of(jack)) ("bryan lives at jack's house") arity is 2 here