bearer of at some time
has disposition at some time
hasDispositionAt
has-d_st
(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 some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & '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])
disposition