Object Property: 'proper part of continuant at all times'

'BFO OWL specification label' "c-ppart-of_at" ()
'BFO CLIF specification label' "properContinuantPartOfAt" ()
definition "b proper_continuant_part_of c at t =Def. b continuant_part_of c at t & b and c are not identical. (axiom label in BFO2 Reference: [004-001])" (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 'proper part of continuant at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'proper part of continuant@en(x,y,t)'." ()
'has associated axiom(fol)' "(iff (properContinuantPartOfAt a b t) (and (continuantPartOfAt a b t) (not (= a b)))) // axiom label in BFO2 CLIF: [004-001] " ()
isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
label "proper part of continuant at all times" (en)

ObjectProperty: 'proper part of continuant at all times'
'proper part of continuant at all times' ⊆ 'proper part of continuant at some time'
'proper part of continuant at all times' ⊆ 'part of continuant at all times'
'member part of at all times' ⊆ 'proper part of continuant at all times'

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