proper part of continuant at some time (iff (properContinuantPartOfAt a b t) (and (continuantPartOfAt a b t) (not (= a b)))) // axiom label in BFO2 CLIF: [004-001] [copied from inverse property 'has proper continuant part at some time'] b has_proper_continuant_part c at t = Def. c proper_continuant_part_of b at t. [XXX-001 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]) c-ppart-of_st 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 some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'proper part of continuant@en'(x,y,t) [copied from inverse property 'has proper continuant part at some time'] Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance level, relation. The BFO reading of the binary relation 'has proper continuant part at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'has proper continuant part@en'(x,y,t) properContinuantPartOfAt part of continuant at some time continuant