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 17228-17234
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
is
uguale
a
PosizioneTemporale
NumeroInteroNonNegativo
is
uguale
a (
NumeroInteroNonNegativo
+ 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 17240-17246
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
is
uguale
a
PosizioneTemporale
NumeroInteroNonNegativo
is
uguale
a (
NumeroInteroNonNegativo
+ 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 17216-17222
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
is
uguale
a
PosizioneTemporale
NumeroInteroNonNegativo
is
uguale
a (
NumeroInteroNonNegativo
+ 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 17204-17210
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
is
uguale
a
PosizioneTemporale
NumeroInteroNonNegativo
is
uguale
a (
NumeroInteroNonNegativo
+ 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 24194-24205
Entit�Concreta
è un'
istanza
di
Wedding
data
di
Entit�Concreta
è
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
Giorno
NumeroIntero
weddingAnniversary
Entit�Concreta
and
Giorno
Giorno
è una
sottoclasse
di
Giorno
NumeroIntero
è un'
istanza
di
NumeroIntero
Giorno
is
uguale
a il
giorno
NumeroInteroPositivo
NumeroIntero
è
pi
ù grande di
NumeroIntero
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