(=>     (and         (instance ?UTC             (HourFn ?H1                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?Y)))))         (instance ?CST             (HourFn ?H2                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?Y)))))         (equal             (RelativeTimeFn ?UTC CentralTimeZone) ?CST))     (equal ?H2         (AdditionFn ?H1 6)))	Merge.kif 17228-17234	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於 相對時間 TimePosition and 中央時區 and TimePosition 等於 NonnegativeInteger and 加成 NonnegativeInteger and 6
(=>     (and         (instance ?UTC             (HourFn ?H1                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?Y)))))         (instance ?EST             (HourFn ?H2                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?Y)))))         (equal             (RelativeTimeFn ?UTC EasternTimeZone) ?EST))     (equal ?H2         (AdditionFn ?H1 5)))	Merge.kif 17240-17246	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於 相對時間 TimePosition and 東部時區 and TimePosition 等於 NonnegativeInteger and 加成 NonnegativeInteger and 5
(=>     (and         (instance ?UTC             (HourFn ?H1                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?Y)))))         (instance ?MST             (HourFn ?H2                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?Y)))))         (equal             (RelativeTimeFn ?UTC MountainTimeZone) ?MST))     (equal ?H2         (AdditionFn ?H1 7)))	Merge.kif 17216-17222	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 MonthST and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於 相對時間 TimePosition and 山區時區 and MonthST 等於 NonnegativeInteger and 加成 NonnegativeInteger and 7
(=>     (and         (instance ?UTC             (HourFn ?H1                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?Y)))))         (instance ?PST             (HourFn ?H2                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?Y)))))         (equal             (RelativeTimeFn ?UTC PacificTimeZone) ?PST))     (equal ?H2         (AdditionFn ?H1 8)))	Merge.kif 17204-17210	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於 相對時間 TimePosition and 太平洋時區 and TimePosition 等於 NonnegativeInteger and 加成 NonnegativeInteger and 8
(=>     (and         (instance ?WED Wedding)         (date ?WED ?DAY)         (instance ?DAY             (DayFn ?D                 (MonthFn ?M                     (YearFn ?Y)))))     (exists (?CLASS ?FUTURE)         (and             (weddingAnniversary ?WED ?CLASS)             (subclass ?CLASS Day)             (instance ?FUTURE Integer)             (equal ?CLASS                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?FUTURE))))             (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24194-24205	例 Physical and 婚禮 日期 Physical and Day 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer weddingAnniversary Physical and Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners