Relation =

• Defined in theory: Kif-sets
• Source code: kif-sets.lisp

Slots on this relation:

Documentation:

= 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

Notes:

• 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.