duration
(=>
(
instance
?H
Hanukkah
)
(
duration
?H
(
MeasureFn
8
DayDuration
)))
Media.kif 580-582
If
a time interval
is an
instance
of
hanukkah
,
then
duration
of
the time interval
is 8
day duration
(s)
(=>
(
instance
?HOUR
Hour
)
(
duration
?HOUR
(
MeasureFn
1
HourDuration
)))
Merge.kif 9346-9348
If
a time interval
is an
instance
of
hour
,
then
duration
of
the time interval
is 1
hour duration
(s)
(=>
(
instance
?IV
IVBolusTherapy
)
(
and
(
duration
(
WhenFn
?IV)
(
MeasureFn
?N
MinuteDuration
))
(
lessThan
?N 5.0)))
Medicine.kif 6162-6168
If
a physical
is an
instance
of
IV bolus therapy
,
then
duration
of the
time
of existence of
the physical
is
a real number
minute duration
(s) and
the real number
is
less
than 5.0
(=>
(
instance
?Loan
DayLoan
)
(
and
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 1579-1583
If
an agreement
is an
instance
of
day loan
,
then
a time interval
is an
agreement
period of
the agreement
and
duration
of
the time interval
is 1
day duration
(s)
(=>
(
instance
?MINUTE
Minute
)
(
duration
?MINUTE
(
MeasureFn
1
MinuteDuration
)))
Merge.kif 9356-9358
If
a time interval
is an
instance
of
minute
,
then
duration
of
the time interval
is 1
minute duration
(s)
(=>
(
instance
?MONTH
April
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9104-9106
If
a time interval
is an
instance
of
April
,
then
duration
of
the time interval
is 30
day duration
(s)
(=>
(
instance
?MONTH
August
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9160-9162
If
a time interval
is an
instance
of
August
,
then
duration
of
the time interval
is 31
day duration
(s)
(=>
(
instance
?MONTH
December
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9217-9219
If
a time interval
is an
instance
of
December
,
then
duration
of
the time interval
is 31
day duration
(s)
(=>
(
instance
?MONTH
January
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9052-9054
If
a time interval
is an
instance
of
January
,
then
duration
of
the time interval
is 31
day duration
(s)
(=>
(
instance
?MONTH
July
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9146-9148
If
a time interval
is an
instance
of
July
,
then
duration
of
the time interval
is 31
day duration
(s)
(=>
(
instance
?MONTH
June
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9132-9134
If
a time interval
is an
instance
of
June
,
then
duration
of
the time interval
is 30
day duration
(s)
(=>
(
instance
?MONTH
March
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9090-9092
If
a time interval
is an
instance
of
March
,
then
duration
of
the time interval
is 31
day duration
(s)
(=>
(
instance
?MONTH
May
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9118-9120
If
a time interval
is an
instance
of
May
,
then
duration
of
the time interval
is 31
day duration
(s)
(=>
(
instance
?MONTH
November
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9203-9205
If
a time interval
is an
instance
of
November
,
then
duration
of
the time interval
is 30
day duration
(s)
(=>
(
instance
?MONTH
October
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9189-9191
If
a time interval
is an
instance
of
October
,
then
duration
of
the time interval
is 31
day duration
(s)
(=>
(
instance
?MONTH
September
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9175-9177
If
a time interval
is an
instance
of
September
,
then
duration
of
the time interval
is 30
day duration
(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
If
a physical
is an
instance
of
blizzard
,
then there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
geographic area
and
the physical
is
located
at
the entity
and
the other entity
knot unit of speed
(s) is a
surface
wind speed of
the entity
and
the other entity
is
greater
than 35.0 and
duration
of the
time
of existence of
the physical
is
the third entity
hour duration
(s) and
the third entity
is
greater
than 3 holds
during
the
time
of existence of
the physical
(=>
(
instance
?Q
QuarterYear
)
(
duration
?Q
(
MeasureFn
3
MonthDuration
)))
Merge.kif 8991-8993
If
a time interval
is an
instance
of
quarter year
,
then
duration
of
the time interval
is 3
month duration
(s)
(=>
(
instance
?SECOND
Second
)
(
duration
?SECOND
(
MeasureFn
1
SecondDuration
)))
Merge.kif 9366-9368
If
a time interval
is an
instance
of
second
,
then
duration
of
the time interval
is 1
second duration
(s)
(=>
(
instance
?T1
Lent
)
(
duration
?T1
(
MeasureFn
40
DayDuration
)))
Media.kif 455-457
If
a time interval
is an
instance
of
lent
,
then
duration
of
the time interval
is 40
day duration
(s)
(=>
(
instance
?WEEK
Week
)
(
duration
?WEEK
(
MeasureFn
1
WeekDuration
)))
Merge.kif 9336-9338
If
a time interval
is an
instance
of
week
,
then
duration
of
the time interval
is 1
week duration
(s)
(=>
(
instance
?YEAR
Year
)
(
duration
?YEAR
(
MeasureFn
1
YearDuration
)))
Merge.kif 8744-8746
If
a time interval
is an
instance
of
year
,
then
duration
of
the time interval
is 1
year duration
(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
If The
Measuring
for list
a measuring list
takes
a time duration
.,
then there exists
a time interval
such that
the time interval
is
equal
to
interval
between the
beginning
of the
time
of existence of the
first
of
the measuring list
and the
end
of the
time
of existence of the
last
of
the measuring list
and
duration
of
the time interval
is
the time duration
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
If
an agreement
the
attribute
conventional option
,
then there exist
a real number
and
a time interval
such that
the time interval
is an
agreement
period of
the agreement
and
duration
of
the time interval
is
the real number
month duration
(s) and
the real number
is
less
than 39
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
If
an agreement
the
attribute
conventional option
,
then there exist
a real number
and
a time interval
such that
the time interval
is an
agreement
period of
the agreement
and
duration
of
the time interval
is
the real number
month duration
(s) and
the real number
is
less
than 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