Relation _CONCLUDED

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

Arity: 2

Domain: Process

Subrelation-Of: Typicality-property

Axioms:

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

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