日历和时钟的本体构造 月份的表示 lyry, n, c)A mon(m, 1y)]E January(m,y) 月份中天数的表示: January(m,y) Hath(31, Day *, m) 星期的表示: dayofweeky, 1, x)= Sunday, x)分布式工作流系统的时间管理模型研究 周春姐 湖南科技大学 日历和时钟的本体构造 月份的表示： [yr(y,n ,c) ∧ mon(m,1,y)] ≡ January(m,y) 月份中天数的表示： January(m,y) Hath(31,*Day*,m) 星期的表示： dayofweek(y,1,x) ≡ Sunday(y,x) 