Class Quoterm

• 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: List, Term

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

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology: KIF quoted term expression.

---

Slots:

Implication Axioms for Quoterm:

(=> (Quoterm ?Expr) (= (First ?Expr) 'Quote))

Equivalence Axioms for Quoterm:

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

Frame References to Quoterm:

In class@frame-ontology Term:

Exhaustive-Subclass-Partition@Frame-Ontology: {

Funterm, Listterm, Logterm, Quanterm, Quoterm, Setterm, Word}