Class Expression

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

Superclass-Of@Frame-Ontology:

Sentence, Word, Logterm, Quanterm, Quoterm ...

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

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology: KIF expression is either a word or a list of expressions.

---

Slots:

Equivalence Axioms for Expression:

(<=> (Expression ?Expr)
     (Or (Word ?Expr)
         (And (List ?Expr)
              (Forall (?Subexpr)
                      (=> (Item ?Subexpr ?Expr)
                          (Expression ?Subexpr))))))

Frame References to Expression:

In class@frame-ontology Term:

Alias@Frame-Ontology: Expression

Implication Axioms mentioning Expression:

(=> (Quoterm ?Expr) (Expression (First (First ?Expr))))

Equivalence Axioms mentioning Expression:

(<=> (Quoterm ?Expr)
     (And (Term ?Expr)
          (List ?Expr)
          (= (First ?Expr) 'Quote)
          (Expression (First (First ?Expr)))))