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
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
CentralTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 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
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
EasternTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 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
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
MountainTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 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
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
Posicao Temporal
e' uma
instancia
de a
hora
Numero Inteiro nao-negativo
o tempo
Posicao Temporal
na zona
PacificTimeZone
e'
igual
a
Posicao Temporal
Numero Inteiro nao-negativo
e'
igual
a (
Numero Inteiro nao-negativo
+ 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
Fisico
e' uma
instancia
de
Wedding
a
data
de
Fisico
e'
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Dia
Numero Inteiro
weddingAnniversary
Fisico
and
Dia
Dia
e' uma
sub
-classe de
Dia
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Dia
e'
igual
a o
dia
Inteiro positivo
Numero Inteiro
e'
maior
que
Numero Inteiro
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