Relation =

• Defined in theory: Dme-kb
• Source code: q-operator-definitions.lisp
• Also defined in: Kif-sets

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.

and also:

Q= is the n-ary q-operator for equating two or more q-expressions

Eg: (Q= (Term-1 voltage) (Term-2 voltage) (Term-3 voltage)) (Q= (Term-1 current) (Q* (Term-1 voltage) (Resistor-1 resistance)))

Instance-Of: Q-constraint-operator, Relation

Arity: 2

Other Related Axioms:

(=> (= (It-Is-* ?Entity) ?Result)
    (Or (Model-Fragment ?Entity)
        (Qualitative-Parameter ?Entity)
        (Quantity-Slot ?Entity)
        (Other-Slot ?Entity)
        (Behavior-Constraint ?Entity)))

(=> (= (Notes ?Entity) ?Result)
    (Or (Model-Fragment ?Entity)
        (Qualitative-Parameter ?Entity)
        (Quantity-Slot ?Entity)
        (Other-Slot ?Entity)
        (Behavior-Constraint ?Entity)))

(=> (= (The-*-The-Object ?Slot) ?Result)
    (Or (Qualitative-Parameter ?Slot)
        (Quantity-Slot ?Slot)
        (Other-Slot ?Slot)))

(Or (= ?True-Or-False True) (= ?True-Or-False False))

(<=> (Boolean-Value ?True-Or-False)
     (Or (= ?True-Or-False True) (= ?True-Or-False False)))

(=> (= (User-Accessible ?Slot) ?Result)
    (Or (Qualitative-Parameter ?Slot) (Quantity-Slot ?Slot)))

(=> (= (Abbreviation ?Slot) ?Result)
    (Or (Qualitative-Parameter ?Slot)
        (Quantity-Slot ?Slot)
        (Other-Slot ?Slot)))