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 9346-9348
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 9356-9358
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 9104-9106
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 9160-9162
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 9217-9219
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 9052-9054
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 9146-9148
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 9132-9134
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 9090-9092
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 9118-9120
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 9203-9205
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 9189-9191
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 9175-9177
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 2627-2640
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 8991-8993
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 9366-9368
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 9336-9338
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 8744-8746
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 1878-1886
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