Class GROUND-SENTENCE

• Defined in theory: Parametric-constraints
• Source code: parametric-constraints.lisp

Slots on this class:

Documentation:

A ground sentence contains no variables.

Instance-Of: Class

Subclass-Of: Sentence

---

Slots on instances of this class:

Variables-In-Sentence:

Slot-Cardinality: 1

Slot-Value-Type: Empty

Equivalence Axioms:

(<=> (Ground-Sentence ?Expression)
     (And (Sentence ?Expression)
          (Value-Type ?Expression Variables-In-Sentence Empty)
          (Value-Cardinality ?Expression Variables-In-Sentence 1)))

Axioms:

(Sentence ?Expression)

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Parametric-Constraint
                       Constraint.Expression
                       Ground-Sentence)

(<=> (Parametric-Constraint ?Constraint)
     (And (Constraint ?Constraint)
          (Value-Type ?Constraint
                      Constraint.Expression
                      Ground-Sentence)
          (Value-Cardinality ?Constraint Constraint.Expression 1)))

(<=> (Ground-Sentence ?Expression)
     (And (Sentence ?Expression)
          (Value-Type ?Expression Variables-In-Sentence Empty)
          (Value-Cardinality ?Expression Variables-In-Sentence 1)))