duration
(=>
(
instance
?H
Hanukkah
)
(
duration
?H
(
MeasureFn
8
DayDuration
)))
Media.kif 580-582
例
TimeInterval
and
Hanukkah
持續時間
TimeInterval
and
測量
8 and
一天長度
(=>
(
instance
?HOUR
Hour
)
(
duration
?HOUR
(
MeasureFn
1
HourDuration
)))
Merge.kif 9346-9348
例
TimeInterval
and
Hour
持續時間
TimeInterval
and
測量
1 and
小時
(=>
(
instance
?IV
IVBolusTherapy
)
(
and
(
duration
(
WhenFn
?IV)
(
MeasureFn
?N
MinuteDuration
))
(
lessThan
?N 5.0)))
Medicine.kif 6162-6168
例
Physical
and
IVBolusTherapy
持續時間
何時
Physical
and
測量
RealNumber
and
分鐘
少於
RealNumber
and 5.0
(=>
(
instance
?Loan
DayLoan
)
(
and
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 1579-1583
例
協議
and
一天的貸款
TimeInterval
是
協議
的
agreement
週期
持續時間
TimeInterval
and
測量
1 and
一天長度
(=>
(
instance
?MINUTE
Minute
)
(
duration
?MINUTE
(
MeasureFn
1
MinuteDuration
)))
Merge.kif 9356-9358
例
TimeInterval
and
Minute
持續時間
TimeInterval
and
測量
1 and
分鐘
(=>
(
instance
?MONTH
April
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9104-9106
例
TimeInterval
and
April
持續時間
TimeInterval
and
測量
30 and
一天長度
(=>
(
instance
?MONTH
August
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9160-9162
例
TimeInterval
and
August
持續時間
TimeInterval
and
測量
31 and
一天長度
(=>
(
instance
?MONTH
December
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9217-9219
例
TimeInterval
and
December
持續時間
TimeInterval
and
測量
31 and
一天長度
(=>
(
instance
?MONTH
January
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9052-9054
例
TimeInterval
and
January
持續時間
TimeInterval
and
測量
31 and
一天長度
(=>
(
instance
?MONTH
July
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9146-9148
例
TimeInterval
and
July
持續時間
TimeInterval
and
測量
31 and
一天長度
(=>
(
instance
?MONTH
June
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9132-9134
例
TimeInterval
and
June
持續時間
TimeInterval
and
測量
30 and
一天長度
(=>
(
instance
?MONTH
March
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9090-9092
例
TimeInterval
and
March
持續時間
TimeInterval
and
測量
31 and
一天長度
(=>
(
instance
?MONTH
May
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9118-9120
例
TimeInterval
and
May
持續時間
TimeInterval
and
測量
31 and
一天長度
(=>
(
instance
?MONTH
November
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9203-9205
例
TimeInterval
and
November
持續時間
TimeInterval
and
測量
30 and
一天長度
(=>
(
instance
?MONTH
October
)
(
duration
?MONTH
(
MeasureFn
31
DayDuration
)))
Merge.kif 9189-9191
例
TimeInterval
and
October
持續時間
TimeInterval
and
測量
31 and
一天長度
(=>
(
instance
?MONTH
September
)
(
duration
?MONTH
(
MeasureFn
30
DayDuration
)))
Merge.kif 9175-9177
例
TimeInterval
and
September
持續時間
TimeInterval
and
測量
30 and
一天長度
(=>
(
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
例
Physical
and
暴風雪
持有期間
何時
Physical
and
entity
entity
and
entity
例
entity
and
GeographicArea
Physical
是
located
在
entity
測量
entity
and
結速度單位
是
entity
的
surface
風速
比較多
entity
and 35.0
持續時間
何時
Physical
and
測量
entity
and
小時
比較多
entity
and 3
(=>
(
instance
?Q
QuarterYear
)
(
duration
?Q
(
MeasureFn
3
MonthDuration
)))
Merge.kif 8991-8993
例
TimeInterval
and
QuarterYear
持續時間
TimeInterval
and
測量
3 and
月持續時間
(=>
(
instance
?SECOND
Second
)
(
duration
?SECOND
(
MeasureFn
1
SecondDuration
)))
Merge.kif 9366-9368
例
TimeInterval
and
Second
持續時間
TimeInterval
and
測量
1 and
第二期
(=>
(
instance
?T1
Lent
)
(
duration
?T1
(
MeasureFn
40
DayDuration
)))
Media.kif 455-457
例
TimeInterval
and
Lent
持續時間
TimeInterval
and
測量
40 and
一天長度
(=>
(
instance
?WEEK
Week
)
(
duration
?WEEK
(
MeasureFn
1
WeekDuration
)))
Merge.kif 9336-9338
例
TimeInterval
and
Week
持續時間
TimeInterval
and
測量
1 and
週持續時間
(=>
(
instance
?YEAR
Year
)
(
duration
?YEAR
(
MeasureFn
1
YearDuration
)))
Merge.kif 8744-8746
例
TimeInterval
and
年
持續時間
TimeInterval
and
測量
1 and
年持續時間
(=>
(
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
TimeDuration
TimeInterval
等於
TimeInterval
and
時間間隔
開始
何時
MeasuringList
的
first
and
結束
何時
MeasuringList
的
last
持續時間
TimeInterval
and
TimeDuration
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
屬性
協議
and
傳統的選擇
RealNumber
TimeInterval
TimeInterval
是
協議
的
agreement
週期
持續時間
TimeInterval
and
測量
RealNumber
and
月持續時間
少於
RealNumber
and 39
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
屬性
協議
and
傳統的選擇
RealNumber
TimeInterval
TimeInterval
是
協議
的
agreement
週期
持續時間
TimeInterval
and
測量
RealNumber
and
月持續時間
少於
RealNumber
and 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