A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases