inheres in at all times
disposition of at all times
Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'disposition of at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'disposition of@en(x,y,t)'.
d-of_at
(iff (dispositionOf a b t) (and (Disposition a) (inheresInAt a b t))) // axiom label in BFO2 CLIF: [066-001]
a disposition_of b at t =Def. a is a disposition and a inheres_in b at t. (axiom label in BFO2 Reference: [066-001])
dispositionOfAt
disposition