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
If
a time position
is an
instance
of the
hour
a nonnegative integer
and
another time position
is an
instance
of the
hour
another nonnegative integer
and the time
the time position
in zone
eastern time zone
is
equal
to
the other time position
,
then
the other nonnegative integer
is
equal
to (
the nonnegative integer
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
If
a time position
is an
instance
of the
hour
a nonnegative integer
and
another time position
is an
instance
of the
hour
another nonnegative integer
and the time
the time position
in zone
mountain time zone
is
equal
to
the other time position
,
then
the other nonnegative integer
is
equal
to (
the nonnegative integer
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
If
a time position
is an
instance
of the
hour
a nonnegative integer
and
another time position
is an
instance
of the
hour
another nonnegative integer
and the time
the time position
in zone
pacific time zone
is
equal
to
the other time position
,
then
the other nonnegative integer
is
equal
to (
the nonnegative integer
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
If
a physical
is an
instance
of
wedding
and
date
of
the physical
is
a day
and
the day
is an
instance
of the
day
a positive integer
,
then there exist
another kind of day
and
an integer
such that
weddingAnniversary
the physical
and
another kind of day
and
the other kind of day
is a
subclass
of
day
and
the integer
is an
instance
of
integer
and
the other kind of day
is
equal
to the
day
the positive integer
and
the integer
is
greater
than
another integer
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
(
SubtractionFn
?N2 ?N1) 1))
(
meetsTemporally
?Y1 ?Y2))
Merge.kif 8748-8753
If
a time interval
is an
instance
of the
year
an integer
and
another time interval
is an
instance
of the
year
another integer
and (
the other integer
and
the integer
) is
equal
to 1,
then
the time interval
meet
s
the other time interval
(=>
(
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
If
a time interval
is an
instance
of the
year
an integer
and
another time interval
is an
instance
of the
year
another integer
and
a time point
is
equal
to the
beginning
of
the time interval
and
another time point
is
equal
to the
beginning
of
the other time interval
and
the other integer
is
greater
than
the integer
,
then
the time point
happens
before
the other time point
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8699-8704
If
a time interval
is an
instance
of the
year
an integer
and
another time interval
is an
instance
of the
year
another integer
and
the other integer
is
greater
than
the integer
,
then
the time interval
happens
earlier
than
the other time interval
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