發送短信: Knowledge representation:logical, philosophical and computational foundations