MonthFn
(=>
(
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 17206-17212
例
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 17218-17224
例
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 17194-17200
例
TimePosition
and
小時
NonnegativeInteger
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
Month
ST and
小時
NonnegativeInteger
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
相對時間
TimePosition
and
山區時區
and
Month
ST
等於
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 17182-17188
例
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 24195-24206
例
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