Function CAUGHT-AT

Relation for talking of something occurring 'subjectively' at time t.

Arity: 2

Subrelation-Of: Happens-at

Axioms:

(=> (Caught-At ?A ?B)
    (Exists (?X) (And (*Agent ?X) (Aware-Of ?X ?A))))

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