Relation =

Slots on this relation:

= is the equality relation for KIF. It is defined as an operator, but is in practice like every other relation. Two things are = to each other if they are exactly the same thing. How these two things are denoted in some theory is an entirely different issue.

= is an operator in KIF.

Arity: 2