has continuant part at all times
(iff (hasContinuantPartAt a b t) (continuantPartOfAt b a t)) // axiom label in BFO2 CLIF: [006-001]
[copied from inverse property 'part of continuant at all times that whole exists'] This is a binary version of a ternary time-indexed, instance level, relation. Unlike the rest of the temporalized relations which temporally quantify over existence of the subject of the relation, this relation temporally quantifies over the existence of the object of the relation. The relation is provided tentatively, to assess whether the GO needs such a relation. It is inverse of 'has continuant part at all times'
[copied from inverse property 'part of continuant at all times that whole exists'] forall(t) exists_at(y,t) -> exists_at(x,t) and 'part of continuant'(x,y,t)
Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'has continuant part at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'has continuant part@en(x,y,t)'.
hasContinuantPartAt
b has_continuant_part c at t = Def. c continuant_part_of b at t. (axiom label in BFO2 Reference: [006-001])
c-has-part_at
has continuant part at some time
part of continuant at all times that whole exists