Function CONSTRAINT.EXPRESSION

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

Slots on this function:

Documentation:

Constraint.expression is a slot on constraint objects whose value is a KIF sentence (the syntactic thing, a list expression). The form of the sentence is limited by constraint-expression.

Instance-Of: Function

Arity: 2

Domain: Constraint

Range: Constraint-expression

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Constraint
                       Constraint.Expression
                       Constraint-Expression)

(Inherited-Facet-Value Slot-Cardinality
                       Constraint
                       Constraint.Expression
                       1)

(=> (Constraint ?C)
    (And (Value-Cardinality ?C Constraint.Expression 1)
         (Value-Type ?C Constraint.Expression Constraint-Expression)
         (Value-Cardinality ?C Constraint.Expression 1)))

(=> (Constraint.Expression $X $Y) (Constraint-Expression $Y))

(=> (Constraint.Expression $X $Y) (Constraint $X))

(=> (= (The-Constraint ?Expression) ?Constraint)
    (= (Constraint.Expression ?Constraint) ?Expression))

(Inherited-Facet-Value Slot-Cardinality
                       Parametric-Constraint
                       Constraint.Expression
                       1)

(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)))

(Inherited-Facet-Value Slot-Cardinality
                       Satisfied-Constraint
                       Constraint.Expression
                       1)

(Inherited-Facet-Value Slot-Value-Type
                       Satisfied-Constraint
                       Constraint.Expression
                       Truth)

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

(Inherited-Facet-Value Slot-Cardinality
                       Object-Constraint
                       Constraint.Expression
                       1)

(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)))

(<=> (Satisfies-Constraint ?Object ?Constraint)
     (And (Object-Constraint ?Constraint)
          (Holds (Denotation 
                     (Listof 
                         'Kappa
                         (Listof 
                             (The-Free-Variable-In 
                                 (Constraint.Expression ?Constraint)))
                         (Constraint.Expression ?Constraint)))
                 ?Object)))

Notes:

• See-Also: constraint-expression