Relation CONTINUOUS-AT-MODEL-CHANGE-P

• Defined in theory: Dme-kb
• Source code: dme-kb.lisp

Slots on this relation:

Documentation:

Specifies that the value of qty-slot of mf-inst is continuous at the boundary of operating regions. MF-inst: Model instance. qty-slot: A quantity slot.

Instance-Of: Relation

Arity: 2

Domain: Model-fragment

Range: Quantity-slot

Other Related Axioms:

(=> (Continuous-At-Model-Change-P $X $Y) (Quantity-Slot $Y))

(=> (Continuous-At-Model-Change-P $X $Y) (Model-Fragment $X))