YearFn
(=>
(
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
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
(
SubtractionFn
?N2 ?N1) 1))
(
meetsTemporally
?Y1 ?Y2))
Merge.kif 8748-8753
例
TimeInterval
and
年
Integer
例
TimeInterval
and
年
Integer
等於
減法
Integer
and
Integer
and 1
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
?T1
(
BeginFn
?Y1))
(
equal
?T2
(
BeginFn
?Y2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8690-8697
例
TimeInterval
and
年
Integer
例
TimeInterval
and
年
Integer
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
開始
TimeInterval
比較多
Integer
and
Integer
之前
TimePoint
and
TimePoint
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8699-8704
例
TimeInterval
and
年
Integer
例
TimeInterval
and
年
Integer
比較多
Integer
and
Integer
早期
TimeInterval
and
TimeInterval
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