A formal ontological perspective on the behaviors and functions of technical artifacts