この資料をSMS送信: Formalizing knowledge domains and static and dynamic Aspects /