Relation _INTERRUPTED

A process is interrupted when it has not reached a (whatever) result.

Arity: 2

Domain: Process

Subrelation-Of: Typicality-property

Axioms:

(=> (_Interrupted ?A ?B)
    (Not (Exists (?Y) (And (Entity ?Y) (Outcome-Of ?Y ?A)))))

• Defined in theory: Assessment
• Source code: Assessment.lisp