Class SENTENCE-WITH-ONE-VARIABLE

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Sentence

Equivalence Axioms:

(<=> (Sentence-With-One-Variable ?Sentence)
     (And (Sentence ?Sentence)
          (= 1 (Cardinality (Variables-In-Sentence ?Sentence)))))

Axioms:

(= 1 (Cardinality (Variables-In-Sentence ?Sentence)))

(Sentence ?Sentence)

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Object-Constraint
                       Constraint.Expression
                       Sentence-With-One-Variable)

(<=> (Object-Constraint ?Constraint)
     (And (Constraint ?Constraint)
          (Value-Type ?Constraint
                      Constraint.Expression
                      Sentence-With-One-Variable)
          (Value-Cardinality ?Constraint Constraint.Expression 1)))

(<=> (Sentence-With-One-Variable ?Sentence)
     (And (Sentence ?Sentence)
          (= 1 (Cardinality (Variables-In-Sentence ?Sentence)))))

(<- (The-Free-Variable-In ?Sentence)
    (If (Sentence-With-One-Variable ?Sentence)
        (The ?Variable
             (Member ?Variable (Variables-In-Sentence ?Sentence)))))