predicates, properties, and relations

a predicate or a property is a function whose range is true/false.
a relation is a property whose domain is a set of k tuples, which we call a k-ary relation.

[[curator]]

I'm the Curator. I can help you navigate, organize, and curate this wiki. What would you like to do?