Object Property: 'member part of at all times'

'BFO OWL specification label' "member-part-of_at" ()
'BFO CLIF specification label' "memberPartOfAt" ()
'example of usage' "each piece in a chess set is a member part of the chess set; each Beatle in the collection called The Beatles is a member part of The Beatles." (en)
'example of usage' "each tree in a forest is a member_part of the forest" (en)
definition "b member_part_of c at t =Def. b is an object & there is at t a mutually exhaustive and pairwise disjoint partition of c into objects x1, …, xn (for some n > 1) with b = xi for some 1 ≤ i ≤ n. (axiom label in BFO2 Reference: [026-004])" (en)
'editor note' "Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'member part of at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'member part of@en(x,y,t)'." ()
'editor note' "BFO2 Reference: object" ()
'editor note' "BFO2 Reference: object aggregate" ()
'has associated axiom(nl)' "if b member_part_of c at t then b continuant_part_of c at t. (axiom label in BFO2 Reference: [104-001])" (en)
'has associated axiom(fol)' "(forall (x y t) (if (memberPartOfAt x y t) (continuantPartOfAt x y t))) // axiom label in BFO2 CLIF: [104-001] " ()
isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
label "member part of at all times" (en)

http://purl.obolibrary.org/obo/BFO_0000173