inheres in at all times
function of at all times
(iff (functionOf a b t) (and (Function a) (inheresInAt a b t))) // axiom label in BFO2 CLIF: [067-001]
Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'function of at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'function of@en(x,y,t)'.
f-of_at
functionOfAt
a function_of b at t =Def. a is a function and a inheres_in b at t. (axiom label in BFO2 Reference: [067-001])
function