Relation UNEXPECTED

Arity: 2

Domain: Situation

Range: Entity

Subrelation-Of: Typicality-relation

Axioms:

(=> (Unexpected ?A ?B)
    (Exists (?Z)
            (And (Situation ?A)
                 (Situation ?Z)
                 (Different ?A ?Z)
                 (Expected-For ?Z ?B))))

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