---
title: "predicates, properties, and relations"
type: concept
related: [Predicates]
source: https://www.jemoka.com/posts/kbhpredicates/
confidence: high
status: active
---

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.
