duration
(=>
(
instance
?H
Hanukkah
)
(
duration
?H
(
MeasureFn
8
DayDuration
)))
Media.kif 580-582
Intervalo Temporal
e' uma
instancia
de
Hanukkah
a
duracao
de
Intervalo Temporal
e' 8
DayDuration
(s)
(=>
(
instance
?HOUR
Hour
)
(
duration
?HOUR
(
MeasureFn
1
HourDuration
)))
Merge.kif 9368-9370
Intervalo Temporal
e' uma
instancia
de
Hora
a
duracao
de
Intervalo Temporal
e' 1
HourDuration
(s)
(=>
(
instance
?IV
IVBolusTherapy
)
(
and
(
duration
(
WhenFn
?IV)
(
MeasureFn
?N
MinuteDuration
))
(
lessThan
?N 5.0)))
Medicine.kif 6162-6168
Fisico
e' uma
instancia
de
IVBolusTherapy
a
duracao
de
tempo
de existencia de
Fisico
e'
Numero Real
MinuteDuration
(s)
Numero Real
e'
menos
que 5.0
(=>
(
instance
?Loan
DayLoan
)
(
and
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 1579-1583
Agreement
e' uma
instancia
de
DayLoan
agreementPeriod
Agreement
and
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e' 1
DayDuration
(s)
(=>
(
instance
?MINUTE
Minute
)
(
duration
?MINUTE
(
MeasureFn
1
MinuteDuration
)))
Merge.kif 9378-9380
Intervalo Temporal
e' uma
instancia
de
Minuto
a
duracao
de
Intervalo Temporal
e' 1
MinuteDuration
(s)
(=>
(
instance
?MONTH
April
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9126-9128
Intervalo Temporal
e' uma
instancia
de
Abril
a
duracao
de
Intervalo Temporal
e' 30
DayDuration
(s)
(=>
(
instance
?MONTH
August
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9182-9184
Intervalo Temporal
e' uma
instancia
de
Agosto
a
duracao
de
Intervalo Temporal
e' 31
DayDuration
(s)
(=>
(
instance
?MONTH
December
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9239-9241
Intervalo Temporal
e' uma
instancia
de
Dezembro
a
duracao
de
Intervalo Temporal
e' 31
DayDuration
(s)
(=>
(
instance
?MONTH
January
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9074-9076
Intervalo Temporal
e' uma
instancia
de
Janeiro
a
duracao
de
Intervalo Temporal
e' 31
DayDuration
(s)
(=>
(
instance
?MONTH
July
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9168-9170
Intervalo Temporal
e' uma
instancia
de
Julho
a
duracao
de
Intervalo Temporal
e' 31
DayDuration
(s)
(=>
(
instance
?MONTH
June
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9154-9156
Intervalo Temporal
e' uma
instancia
de
June
a
duracao
de
Intervalo Temporal
e' 30
DayDuration
(s)
(=>
(
instance
?MONTH
March
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9112-9114
Intervalo Temporal
e' uma
instancia
de
Marco
a
duracao
de
Intervalo Temporal
e' 31
DayDuration
(s)
(=>
(
instance
?MONTH
May
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9140-9142
Intervalo Temporal
e' uma
instancia
de
Maio
a
duracao
de
Intervalo Temporal
e' 31
DayDuration
(s)
(=>
(
instance
?MONTH
November
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9225-9227
Intervalo Temporal
e' uma
instancia
de
Novembro
a
duracao
de
Intervalo Temporal
e' 30
DayDuration
(s)
(=>
(
instance
?MONTH
October
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9211-9213
Intervalo Temporal
e' uma
instancia
de
Outubro
a
duracao
de
Intervalo Temporal
e' 31
DayDuration
(s)
(=>
(
instance
?MONTH
September
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9197-9199
Intervalo Temporal
e' uma
instancia
de
Setembro
a
duracao
de
Intervalo Temporal
e' 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 2623-2636
Fisico
e' uma
instancia
de
Blizzard
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Area Geografica
eventLocated
Fisico
and
Entidade
surfaceWindSpeed
Entidade
and
Entidade
KnotUnitOfSpeed
(s)
Entidade
e'
maior
que 35.0 a
duracao
de
tempo
de existencia de
Fisico
e'
Entidade
HourDuration
(s)
Entidade
e'
maior
que 3
vale
durante
tempo
de existencia de
Fisico
(=>
(
instance
?Q
QuarterYear
)
(
duration
?Q
(
MeasureFn
3
MonthDuration
)))
Merge.kif 9013-9015
Intervalo Temporal
e' uma
instancia
de
QuarterYear
a
duracao
de
Intervalo Temporal
e' 3
MonthDuration
(s)
(=>
(
instance
?SECOND
Second
)
(
duration
?SECOND
(
MeasureFn
1
SecondDuration
)))
Merge.kif 9388-9390
Intervalo Temporal
e' uma
instancia
de
Segundo
a
duracao
de
Intervalo Temporal
e' 1
SecondDuration
(s)
(=>
(
instance
?T1
Lent
)
(
duration
?T1
(
MeasureFn
40
DayDuration
)))
Media.kif 455-457
Intervalo Temporal
e' uma
instancia
de
Lent
a
duracao
de
Intervalo Temporal
e' 40
DayDuration
(s)
(=>
(
instance
?WEEK
Week
)
(
duration
?WEEK
(
MeasureFn
1
WeekDuration
)))
Merge.kif 9358-9360
Intervalo Temporal
e' uma
instancia
de
Semana
a
duracao
de
Intervalo Temporal
e' 1
WeekDuration
(s)
(=>
(
instance
?YEAR
Year
)
(
duration
?YEAR
(
MeasureFn
1
YearDuration
)))
Merge.kif 8766-8768
Intervalo Temporal
e' uma
instancia
de
Ano
a
duracao
de
Intervalo Temporal
e' 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 1874-1882
measuringListDuration
MeasuringList
and
Duracao Temporal
Intervalo Temporal
Intervalo Temporal
e'
igual
a o
intervalo
entre o
comeco
de
tempo
de existencia de
FirstFn
MeasuringList
e o
fim
de
tempo
de existencia de
LastFn
MeasuringList
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
Agreement
tem um
atributo
de
ConventionalOption
Numero Real
Intervalo Temporal
agreementPeriod
Agreement
and
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Numero Real
MonthDuration
(s)
Numero Real
e'
menos
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
tem um
atributo
de
ConventionalOption
Numero Real
Intervalo Temporal
agreementPeriod
Agreement
and
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Numero Real
MonthDuration
(s)
Numero Real
e'
menos
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