Class Relsent

• 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: Sentence, Expression

Superclass-Of@Frame-Ontology: Equation, Inequality

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

Arity@Frame-Ontology: 1

---

Slots:

Equivalence Axioms for Relsent:

(<=> (Relsent ?X)
     (Exists (?R ?Tlist)
             (And (Or (Relconst ?R) (Funconst ?R))
                  (List ?Tlist)
                  (>= (Length ?Tlist) 1)
                  (=> (Item ?T ?Tlist) (Term ?T))
                  (= ?X (Cons ?R ?Tlist)))))

Frame References to Relsent:

In class@frame-ontology Sentence:

Exhaustive-Subclass-Partition@Frame-Ontology: {

Logconst, Logsent, Quantsent, Relsent}

Implication Axioms mentioning Relsent:

(=> (Equation ?X) (Relsent ?X))

(=> (Inequality ?X) (Relsent ?X))

Equivalence Axioms mentioning Relsent:

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

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