Function HAPPENS-AT

Relation for talking of something occurring 'objectively' at time t. It might be redundant, since, for most uses, the function trueime-value' in theory:time should be enough.

Arity: 2

Subrelation-Of: Time-value

Axioms:

(=> (Happens-At ?A ?B) (Exists (?U) (The-Time-Unit ?U ?B)))

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