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
Position temporel
est une
instance
de l'
heure
nombre entier non n�gatif
position temporel
est une
instance
de l'
heure
nombre entier non n�gatif
le temps
position temporel
dans la zone
EasternTimeZone
est
position temporel
nombre entier non n�gatif
est
nombre entier non n�gatif
+ 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
Position temporel
est une
instance
de l'
heure
nombre entier non n�gatif
position temporel
est une
instance
de l'
heure
nombre entier non n�gatif
le temps
position temporel
dans la zone
MountainTimeZone
est
position temporel
nombre entier non n�gatif
est
nombre entier non n�gatif
+ 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
Position temporel
est une
instance
de l'
heure
nombre entier non n�gatif
position temporel
est une
instance
de l'
heure
nombre entier non n�gatif
le temps
position temporel
dans la zone
PacificTimeZone
est
position temporel
nombre entier non n�gatif
est
nombre entier non n�gatif
+ 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
Physique
est une
instance
de
Wedding
la
date
de
physique
est
jour
jour
est une
instance
de le
jour
nombre entier positif
jour
nombre entier
weddingAnniversary
physique
and
jour
jour
est une
sous
-classe de
jour
nombre entier
est une
instance
de
nombre entier
jour
est
jour
nombre entier positif
nombre entier
est
plus
grand
que
nombre entier
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
(
SubtractionFn
?N2 ?N1) 1))
(
meetsTemporally
?Y1 ?Y2))
Merge.kif 8748-8753
Interval temporel
est une
instance
de l'
ann
�e
nombre entier
interval temporel
est une
instance
de l'
ann
�e
nombre entier
(
nombre entier
+
nombre entier
) est
interval temporel
rencontre
interval temporel
(=>
(
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
Interval temporel
est une
instance
de l'
ann
�e
nombre entier
interval temporel
est une
instance
de l'
ann
�e
nombre entier
point temporel
est
d
�but de
interval temporel
point temporel
est
d
�but de
interval temporel
nombre entier
est
plus
grand
que
nombre entier
point temporel
se produit
avant
point temporel
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8699-8704
Interval temporel
est une
instance
de l'
ann
�e
nombre entier
interval temporel
est une
instance
de l'
ann
�e
nombre entier
nombre entier
est
plus
grand
que
nombre entier
interval temporel
arrive
plus
t�t que
interval temporel
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