duration
(=>
(
instance
?H
Hanukkah
)
(
duration
?H
(
MeasureFn
8
DayDuration
)))
Media.kif 580-582
IntervalloTemporale
è un'
istanza
di
Hanukkah
durata
di
IntervalloTemporale
è 8
DayDuration
(s
(=>
(
instance
?HOUR
Hour
)
(
duration
?HOUR
(
MeasureFn
1
HourDuration
)))
Merge.kif 9368-9370
IntervalloTemporale
è un'
istanza
di
Ora
durata
di
IntervalloTemporale
è 1
HourDuration
(s
(=>
(
instance
?IV
IVBolusTherapy
)
(
and
(
duration
(
WhenFn
?IV)
(
MeasureFn
?N
MinuteDuration
))
(
lessThan
?N 5.0)))
Medicine.kif 6162-6168
Entit�Concreta
è un'
istanza
di
IVBolusTherapy
durata
di il
tempo
di esistenza di
Entit�Concreta
è
NumeroReale
MinuteDuration
(s
NumeroReale
è
meno
di5.0
(=>
(
instance
?Loan
DayLoan
)
(
and
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 1579-1583
Agreement
è un'
istanza
di
DayLoan
agreementPeriod
Agreement
and
IntervalloTemporale
durata
di
IntervalloTemporale
è 1
DayDuration
(s
(=>
(
instance
?MINUTE
Minute
)
(
duration
?MINUTE
(
MeasureFn
1
MinuteDuration
)))
Merge.kif 9378-9380
IntervalloTemporale
è un'
istanza
di
Minuto
durata
di
IntervalloTemporale
è 1
MinuteDuration
(s
(=>
(
instance
?MONTH
April
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9126-9128
IntervalloTemporale
è un'
istanza
di
Aprile
durata
di
IntervalloTemporale
è 30
DayDuration
(s
(=>
(
instance
?MONTH
August
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9182-9184
IntervalloTemporale
è un'
istanza
di
Agosto
durata
di
IntervalloTemporale
è 31
DayDuration
(s
(=>
(
instance
?MONTH
December
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9239-9241
IntervalloTemporale
è un'
istanza
di
Dicembre
durata
di
IntervalloTemporale
è 31
DayDuration
(s
(=>
(
instance
?MONTH
January
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9074-9076
IntervalloTemporale
è un'
istanza
di
Gennaio
durata
di
IntervalloTemporale
è 31
DayDuration
(s
(=>
(
instance
?MONTH
July
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9168-9170
IntervalloTemporale
è un'
istanza
di
Luglio
durata
di
IntervalloTemporale
è 31
DayDuration
(s
(=>
(
instance
?MONTH
June
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9154-9156
IntervalloTemporale
è un'
istanza
di
Giugno
durata
di
IntervalloTemporale
è 30
DayDuration
(s
(=>
(
instance
?MONTH
March
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9112-9114
IntervalloTemporale
è un'
istanza
di
Marzo
durata
di
IntervalloTemporale
è 31
DayDuration
(s
(=>
(
instance
?MONTH
May
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9140-9142
IntervalloTemporale
è un'
istanza
di
Maggio
durata
di
IntervalloTemporale
è 31
DayDuration
(s
(=>
(
instance
?MONTH
November
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9225-9227
IntervalloTemporale
è un'
istanza
di
Novembre
durata
di
IntervalloTemporale
è 30
DayDuration
(s
(=>
(
instance
?MONTH
October
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9211-9213
IntervalloTemporale
è un'
istanza
di
Ottobre
durata
di
IntervalloTemporale
è 31
DayDuration
(s
(=>
(
instance
?MONTH
September
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9197-9199
IntervalloTemporale
è un'
istanza
di
Settembre
durata
di
IntervalloTemporale
è 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
Entit�Concreta
è un'
istanza
di
Blizzard
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
AreaGeografica
eventLocated
Entit�Concreta
and
Entit�
surfaceWindSpeed
Entit�
and
Entit�
KnotUnitOfSpeed
(s
Entit�
è
pi
ù grande di 35.0
durata
di il
tempo
di esistenza di
Entit�Concreta
è
Entit�
HourDuration
(s
Entit�
è
pi
ù grande di 3 vales
durante
il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?Q
QuarterYear
)
(
duration
?Q
(
MeasureFn
3
MonthDuration
)))
Merge.kif 9013-9015
IntervalloTemporale
è un'
istanza
di
QuarterYear
durata
di
IntervalloTemporale
è 3
MonthDuration
(s
(=>
(
instance
?SECOND
Second
)
(
duration
?SECOND
(
MeasureFn
1
SecondDuration
)))
Merge.kif 9388-9390
IntervalloTemporale
è un'
istanza
di
Secondo
durata
di
IntervalloTemporale
è 1
SecondDuration
(s
(=>
(
instance
?T1
Lent
)
(
duration
?T1
(
MeasureFn
40
DayDuration
)))
Media.kif 455-457
IntervalloTemporale
è un'
istanza
di
Lent
durata
di
IntervalloTemporale
è 40
DayDuration
(s
(=>
(
instance
?WEEK
Week
)
(
duration
?WEEK
(
MeasureFn
1
WeekDuration
)))
Merge.kif 9358-9360
IntervalloTemporale
è un'
istanza
di
Settimana
durata
di
IntervalloTemporale
è 1
WeekDuration
(s
(=>
(
instance
?YEAR
Year
)
(
duration
?YEAR
(
MeasureFn
1
YearDuration
)))
Merge.kif 8766-8768
IntervalloTemporale
è un'
istanza
di
Anno
durata
di
IntervalloTemporale
è 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
Durata
IntervalloTemporale
IntervalloTemporale
is
uguale
a
intervallo
tra l'
inizio
di il
tempo
di esistenza di
FirstFn
MeasuringList
e la
fine
di il
tempo
di esistenza di
LastFn
MeasuringList
durata
di
IntervalloTemporale
è
Durata
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
Agreement
ha un
attributo
ConventionalOption
NumeroReale
IntervalloTemporale
agreementPeriod
Agreement
and
IntervalloTemporale
durata
di
IntervalloTemporale
è
NumeroReale
MonthDuration
(s
NumeroReale
è
meno
di39
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
Agreement
ha un
attributo
ConventionalOption
NumeroReale
IntervalloTemporale
agreementPeriod
Agreement
and
IntervalloTemporale
durata
di
IntervalloTemporale
è
NumeroReale
MonthDuration
(s
NumeroReale
è
meno
di9
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