duration
(=>
(
instance
?H
Hanukkah
)
(
duration
?H
(
MeasureFn
8
DayDuration
)))
Media.kif 580-582
Interval temporel
est une
instance
de
Hanukkah
la
dur
�� de
interval temporel
est 8
DayDuration
(s)
(=>
(
instance
?HOUR
Hour
)
(
duration
?HOUR
(
MeasureFn
1
HourDuration
)))
Merge.kif 9346-9348
Interval temporel
est une
instance
de
heure
la
dur
�� de
interval temporel
est 1
HourDuration
(s)
(=>
(
instance
?IV
IVBolusTherapy
)
(
and
(
duration
(
WhenFn
?IV)
(
MeasureFn
?N
MinuteDuration
))
(
lessThan
?N 5.0)))
Medicine.kif 6162-6168
Physique
est une
instance
de
IVBolusTherapy
la
dur
�� de
temps
d'existence de
physique
est
nombre r�el
MinuteDuration
(s)
nombre r�el
est
moins
que 5.0
(=>
(
instance
?Loan
DayLoan
)
(
and
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 1579-1583
Agreement
est une
instance
de
DayLoan
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est 1
DayDuration
(s)
(=>
(
instance
?MINUTE
Minute
)
(
duration
?MINUTE
(
MeasureFn
1
MinuteDuration
)))
Merge.kif 9356-9358
Interval temporel
est une
instance
de
minute
la
dur
�� de
interval temporel
est 1
MinuteDuration
(s)
(=>
(
instance
?MONTH
April
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9104-9106
Interval temporel
est une
instance
de
Avril
la
dur
�� de
interval temporel
est 30
DayDuration
(s)
(=>
(
instance
?MONTH
August
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9160-9162
Interval temporel
est une
instance
de
Ao�t
la
dur
�� de
interval temporel
est 31
DayDuration
(s)
(=>
(
instance
?MONTH
December
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9217-9219
Interval temporel
est une
instance
de
Decembre
la
dur
�� de
interval temporel
est 31
DayDuration
(s)
(=>
(
instance
?MONTH
January
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9052-9054
Interval temporel
est une
instance
de
Janvier
la
dur
�� de
interval temporel
est 31
DayDuration
(s)
(=>
(
instance
?MONTH
July
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9146-9148
Interval temporel
est une
instance
de
Juillet
la
dur
�� de
interval temporel
est 31
DayDuration
(s)
(=>
(
instance
?MONTH
June
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9132-9134
Interval temporel
est une
instance
de
Juin
la
dur
�� de
interval temporel
est 30
DayDuration
(s)
(=>
(
instance
?MONTH
March
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9090-9092
Interval temporel
est une
instance
de
Mars
la
dur
�� de
interval temporel
est 31
DayDuration
(s)
(=>
(
instance
?MONTH
May
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9118-9120
Interval temporel
est une
instance
de
Mai
la
dur
�� de
interval temporel
est 31
DayDuration
(s)
(=>
(
instance
?MONTH
November
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9203-9205
Interval temporel
est une
instance
de
Novembre
la
dur
�� de
interval temporel
est 30
DayDuration
(s)
(=>
(
instance
?MONTH
October
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9189-9191
Interval temporel
est une
instance
de
Octobre
la
dur
�� de
interval temporel
est 31
DayDuration
(s)
(=>
(
instance
?MONTH
September
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9175-9177
Interval temporel
est une
instance
de
Septembre
la
dur
�� de
interval temporel
est 30
DayDuration
(s)
(=>
(
instance
?PROCESS
Blizzard
)
(
holdsDuring
(
WhenFn
?PROCESS)
(
exists
(?AREA ?GALE ?DURATION)
(
and
(
instance
?AREA
GeographicArea
)
(
eventLocated
?PROCESS ?AREA)
(
surfaceWindSpeed
?AREA
(
MeasureFn
?GALE
KnotUnitOfSpeed
))
(
greaterThan
?GALE 35.0)
(
duration
(
WhenFn
?PROCESS)
(
MeasureFn
?DURATION
HourDuration
))
(
greaterThan
?DURATION 3)))))
Weather.kif 2627-2640
Physique
est une
instance
de
Blizzard
entit�
entit�
and
entit�
entit�
est une
instance
de
secteur g�ographique
eventLocated
physique
and
entit�
surfaceWindSpeed
entit�
and
entit�
KnotUnitOfSpeed
(s)
entit�
est
plus
grand
que 35.0 la
dur
�� de
temps
d'existence de
physique
est
entit�
HourDuration
(s)
entit�
est
plus
grand
que 3
pendant
temps
d'existence de
physique
(=>
(
instance
?Q
QuarterYear
)
(
duration
?Q
(
MeasureFn
3
MonthDuration
)))
Merge.kif 8991-8993
Interval temporel
est une
instance
de
QuarterYear
la
dur
�� de
interval temporel
est 3
MonthDuration
(s)
(=>
(
instance
?SECOND
Second
)
(
duration
?SECOND
(
MeasureFn
1
SecondDuration
)))
Merge.kif 9366-9368
Interval temporel
est une
instance
de
seconde
la
dur
�� de
interval temporel
est 1
SecondDuration
(s)
(=>
(
instance
?T1
Lent
)
(
duration
?T1
(
MeasureFn
40
DayDuration
)))
Media.kif 455-457
Interval temporel
est une
instance
de
Lent
la
dur
�� de
interval temporel
est 40
DayDuration
(s)
(=>
(
instance
?WEEK
Week
)
(
duration
?WEEK
(
MeasureFn
1
WeekDuration
)))
Merge.kif 9336-9338
Interval temporel
est une
instance
de
semaine
la
dur
�� de
interval temporel
est 1
WeekDuration
(s)
(=>
(
instance
?YEAR
Year
)
(
duration
?YEAR
(
MeasureFn
1
YearDuration
)))
Merge.kif 8744-8746
Interval temporel
est une
instance
de
ann�e
la
dur
�� de
interval temporel
est 1
YearDuration
(s)
(=>
(
measuringListDuration
?LIST ?DURATION)
(
exists
(?T)
(
and
(
equal
?T
(
TimeIntervalFn
(
BeginFn
(
WhenFn
(
FirstFn
?LIST)))
(
EndFn
(
WhenFn
(
LastFn
?LIST)))))
(
duration
?T ?DURATION))))
Weather.kif 1878-1886
measuringListDuration
MeasuringList
and
dur�e temporel
interval temporel
interval temporel
est
intervale
entre le
d
�but de
temps
d'existence de
FirstFn
MeasuringList
et la
fin
de
temps
d'existence de
LastFn
MeasuringList
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
Agreement
a un
attribute
ConventionalOption
nombre r�el
interval temporel
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
MonthDuration
(s)
nombre r�el
est
moins
que 39
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
Agreement
a un
attribute
ConventionalOption
nombre r�el
interval temporel
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
MonthDuration
(s)
nombre r�el
est
moins
que 9
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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