Class Equation

• Defined in ontology: Kif-meta
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-meta.lisp

Subclass-Of@Frame-Ontology: Relsent, Expression, Sentence

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set

Arity@Frame-Ontology: 1

---

Slots:

Implication Axioms for Equation:

(=> (Equation ?X)
    (Exists (?T1 ?T2)
            (And (Term ?T1)
                 (Term ?T2)
                 (= ?X (Listof '= ?T1 ?T2)))))

Equivalence Axioms for Equation:

(<=> (Equation ?X)
     (And (Relsent ?X)
          (Exists (?T1 ?T2)
                  (And (Term ?T1)
                       (Term ?T2)
                       (= ?X (Listof '= ?T1 ?T2))))))