bearer of at all times has disposition at all times (iff (hasDispositionAt a b t) (dispositionOf b a t)) // axiom label in BFO2 CLIF: [069-001] Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'has disposition at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'has disposition@en(x,y,t)'. a has_disposition b at t =Def. b disposition_of a at t. (axiom label in BFO2 Reference: [069-001]) hasDispositionAt has-d_at disposition