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
- Source: KIF Version 3.0 Specification
- Equality is built in to KIF; = and /= are operators.
However, it helps to have them be proper relations in the ontology.
For instance, other relations may be subsumed by them in a taxonomy.
- See-Also: /=
- We put the equality relations in the SET ontology, because it is
the most primitive ontology in KIF and equality is intrinsic to
the definition of set membership.