Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
duration
Sigma KEE - duration
duration
appearance as argument number 1
(
documentation
duration
ChineseLanguage
"(
duration
?POS ?TIME)的意思是
TimePosition
?POS 的长短是 ?TIME。注;这个
Predicate
可以和
Function
WhenFn
一起使用来指定任何
Physical
的 持续时间。")
chinese_format.kif 2688-2690
(
documentation
duration
EnglishLanguage
"(
duration
?POS ?TIME) means that the duration of the
TimeInterval
?POS is ?TIME. Note that this
Predicate
can be used in conjunction with the
Function
WhenFn
to specify the duration of any instance of
Physical
.")
Merge.kif 7951-7954
(
documentation
duration
JapaneseLanguage
"(
duration
?POS ?TIME) とは、
TimePosition
?POS の持続時間が ?TIME という意味である。 注:この
Predicate
は、
Function
WhenFn
と組み合わせ て使用し、
Predicate
の任意のインスタンスの継続時間を指定できる。")
japanese_format.kif 1411-1413
(
domain
duration
1
TimeInterval
)
Merge.kif 7948-7948
时段
的 1 数量 是
时距
的
instance
(
domain
duration
2
TimeDuration
)
Merge.kif 7949-7949
时段
的 2 数量 是
持续时间
的
instance
(
instance
duration
BinaryPredicate
)
Merge.kif 7946-7946
时段
是
二元谓语
的
instance
(
instance
duration
TotalValuedRelation
)
Merge.kif 7947-7947
时段
是
总值关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
duration
"%1 的
duration
%n 是 %2")
chinese_format.kif 413-413
(
format
EnglishLanguage
duration
"
duration
of %1 is %n %2")
english_format.kif 419-419
(
format
FrenchLanguage
duration
"la dur�� de %1 est %n %2")
french_format.kif 241-241
(
format
ItalianLanguage
duration
"durata di %1 è %n %2")
relations-it.txt 85-85
(
format
JapaneseLanguage
duration
"%1 の
duration
は %2 では %n")
japanese_format.kif 2035-2035
(
format
PortugueseLanguage
duration
"a duracao de %1 e' %n %2")
portuguese_format.kif 193-193
(
format
cb
duration
" kadugay %1 %n ay %2")
relations-cb.txt 119-119
(
format
cz
duration
"
duration
of %1 %p{je} %n{nen�} %2")
relations-cz.txt 246-246
(
format
de
duration
"
dauer
von %1 ist %2 %n{nicht}")
relations-de.txt 536-536
(
format
hi
duration
"%1 kii avadhi %2 %n hai")
relations-hindi.txt 125-125
(
format
ro
duration
"
duration
%t{durata} lui %1 %n{nu} este %2")
relations-ro.kif 262-262
(
format
sv
duration
"varaktigheten av %1 är %n{inte} %2")
relations-sv.txt 261-261
(
format
tg
duration
"ang tagal ng %1 %n ay %2")
relations-tg.txt 185-185
(
termFormat
ChineseLanguage
duration
"持续时间")
domainEnglishFormat.kif 20699-20699
(
termFormat
ChineseLanguage
duration
"时段")
chinese_format.kif 414-414
(
termFormat
ChineseTraditionalLanguage
duration
"持續時間")
domainEnglishFormat.kif 20698-20698
(
termFormat
EnglishLanguage
duration
"duration")
domainEnglishFormat.kif 20697-20697
(
termFormat
tg
duration
"tagal")
relations-tg.txt 186-186
antecedent
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3972-3992
如果
ADHD
是
施事体
的
attribute
和
ADHD
不 是
另一个 施事体
的
attribute
和
那个 施事体
不
equal
那个 另外 施事体
和
过程
是
类
的
instance
和
另一个 过程
是
那个 类
的
instance
和
那个 类
是
有意图的心理过程
的
subclass
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
的
duration
是
持续时间
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 持续时间
,
然后
那个 另外 持续时间
是
greaterThan
那个 持续时间
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5913-5920
如果
实体
是
另一个 实体
的
attribute
在
时距
holdsDuring
和
那个 另外 实体
是
ChronicDisease
的
instance
和
那个 时距
的
duration
是
实数
,
然后
那个 实数
是
greaterThan
3
月持续时间
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Drawing) ?DrawingTime)
(
equal
(
WhenFn
?Processing) ?ProcessingTime)
(
meetsTemporally
?DrawingTime ?Time)
(
meetsTemporally
?Time ?ProcessingTime)
(
duration
?Time
(
MeasureFn
?Duration
MonthDuration
)))
(
lessThan
?Duration 6))
FinancialOntology.kif 155-166
如果
过程
是
画一张支票
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 过程
是
处理检查
的
instance
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 过程
Time 和
那个 另外 过程
出现 的
time
equal
那个 另外 过程
Time 和
那个 过程
Time 接着
第三 时距
和
那个 第三 时距
接着
那个 另外 过程
Time 和
那个 第三 时距
的
duration
是
实数
月持续时间
,
然后
那个 实数
是
lessThan
6
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
如果
协议
是
银行定期贷款
的
instance
和
时距
是
那个 协议
的
agreement
週期 和
那个 时距
的
duration
是
实数
年持续时间
,
然后
那个 实数
是
greaterThanOrEqualTo
1
(=>
(
and
(
instance
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 454-470
如果
过程
是
MeasuringBreathing
的
instance
和
施事体
是
那个 过程
的
agent
和
客体
是
肺
的
instance
和
那个 客体
是
另一个 客体
的
part
和
时距
是
时距
的
instance
和
那个 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 时距
的
duration
是
分钟
和
那个 另外 客体
是
那个 过程
的
patient
,
然后 有存在
实体
这样
那个 施事体
knows
breathingRate
那个 客体
,
那个 时距
and
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9509-9513
如果
时距
是
月
的
instance
和
那个 时距
的
duration
是
整数
一天长度
,
然后 分拆
那个 时距
为 的
日
instance
的数量
equal
那个 整数
(=>
(
and
(
instance
?P
Passover
)
(
duration
?P
(
MeasureFn
?N
DayDuration
)))
(
or
(
equal
?N 7)
(
equal
?N 8)))
Media.kif 611-617
如果
时距
是
Passover
的
instance
和
那个 时距
的
duration
是
实数
一天长度
,
然后
那个 实数
equal
7 或
那个 实数
equal
8
(=>
(
and
(
instance
?SF
SpeakingAtAFasterRate
)
(
instance
?SS
SpeakingAtASlowerRate
)
(
instance
?U
UnitOfDuration
)
(
agent
?SF ?A)
(
agent
?SS ?A)
(
containsInformation
?SF ?I)
(
containsInformation
?SS ?I)
(
duration
(
WhenFn
?SF)
(
MeasureFn
?FAST ?U))
(
duration
(
WhenFn
?SS)
(
MeasureFn
?SLOW ?U)))
(
greaterThan
?FAST ?SLOW))
emotion.kif 2016-2029
如果
过程
是
SpeakingAtAFasterRate
的
instance
和
另一个 过程
是
SpeakingAtASlowerRate
的
instance
和
测量单位
是
UnitOfDuration
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 过程
contains
命题
的资料 和
那个 另外 过程
contains
那个 命题
的资料 和
那个 过程
出现 的
time
的
duration
是
实数
那个 测量单位
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 实数
那个 测量单位
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?SS
SpeakingAShortUtterance
)
(
instance
?SL
SpeakingALongUtterance
)
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?SS)
(
MeasureFn
?D1 ?U))
(
duration
(
WhenFn
?SL)
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
emotion.kif 2102-2111
如果
物理
是
SpeakingAShortUtterance
的
instance
和
另一个 物理
是
SpeakingALongUtterance
的
instance
和
测量单位
是
UnitOfDuration
的
instance
和
那个 物理
出现 的
time
的
duration
是
实数
那个 测量单位
和
那个 另外 物理
出现 的
time
的
duration
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5983-6003
如果
时距
是
TimePeriod
的
instance
和
那个 时距
的
duration
是
实数
分钟
和
那个 实数
是
greaterThan
5.0 和
实体
是
人类
的
instance
和 不存在
过程
这样
那个 过程
是
呼吸
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
死亡
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 时距
接着
那个 另外 实体
出现 的
time
的声明 has
容易
的语气
(=>
(
and
(
instance
?T1
TimePoint
)
(
instance
?T2
TimePoint
)
(
equal
?INTERVAL
(
TimeIntervalFn
?T1 ?T2))
(
duration
?INTERVAL ?PERIOD))
(
equal
?INTERVAL
(
TimePeriodFn
?T1 ?PERIOD)))
Mid-level-ontology.kif 14290-14296
如果
时点
是
时点
的
instance
和
另一个 时点
是
时点
的
instance
和
时距
equal
那个 时点
和
那个 另外 时点
间的时段 和
那个 时距
的
duration
是
持续时间
,
然后
那个 时距
equal
time
开始在
那个 时点
并且 持续到
那个 持续时间
(=>
(
and
(
statementPeriod
?Statement ?Period)
(
duration
?Period ?Duration))
(
equal
?Duration
MonthDuration
))
FinancialOntology.kif 4064-4068
如果
时距
是
银行对帐单
的
statement
周期 和
那个 时距
的
duration
是
持续时间
,
然后
那个 持续时间
equal
月持续时间
consequent
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
duration
?INT ?DUR))
Weather.kif 1958-1963
如果
时距
是
连续时间间隔表列
的
member
和
那个 连续时间间隔表列
equal
另一个 时距
的
持续时间
ConsecutiveTimeIntervalList
是在
TimeIntervalListFn
(时间间隔表列函数),
然后
那个 时距
的
duration
是
那个 持续时间
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16697-16709
如果
过程
是
Insomnia
的
instance
和
有认知的主事
经历了
那个 过程
,
然后 有存在
另一个 过程
,
持续时间
, and 和
那个 持续时间
2 这样
那个 另外 过程
是
Sleeping
的
instance
和
那个 有认知的主事
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
的
duration
是
那个 持续时间
和
那个 有认知的主事
desires
那个 另外 过程
出现 的
time
的
duration
是
那个 持续时间
2 和
那个 持续时间
2 是
greaterThan
那个 持续时间
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
instance
?Y
LeapYear
))
(
duration
?MONTH
(
MeasureFn
29
DayDuration
)))
Merge.kif 9119-9124
如果
时距
是
二月
month
的
instance
和
实体
是
那个 实体
EAR 的
instance
和
那个 实体
是
闰年
的
instance
,
然后
那个 时距
的
duration
是 29
一天长度
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
not
(
instance
?Y
LeapYear
)))
(
duration
?MONTH
(
MeasureFn
28
DayDuration
)))
Merge.kif 9112-9117
如果
时距
是
二月
month
的
instance
和
实体
是
那个 实体
EAR 的
instance
和
那个 实体
不 是
闰年
的
instance
,
然后
那个 时距
的
duration
是 28
一天长度
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7538-7542
如果
时点
是
时点
的
instance
和
物理
的
age
是
持续时间
在
那个 时点
holdsDuring
,
然后
那个 物理
出现 的
time
的开始 和
那个 时点
间的时段 的
duration
是
那个 持续时间
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?A
AscensionThursday
)
(
during
?E ?Y)
(
during
?A ?Y)
(
starts
?E ?I)
(
finishes
?A ?I))
(
duration
?I
(
MeasureFn
40
DayDuration
)))
Media.kif 538-547
如果
时距
是
年
的
instance
和
另一个 时距
是
EasterSunday
的
instance
和
第三 时距
是
AscensionThursday
的
instance
和
那个 另外 时距
在
那个 时距
时段内发生 和
那个 第三 时距
在
那个 时距
时段内发生 和
那个 另外 时距
starts
了才到
第四 时距
和
那个 第三 时距
finishes
了才到
那个 第四 时距
,
然后
那个 第四 时距
的
duration
是 40
一天长度
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
PalmSunday
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?P ?I)
(
finishes
?E ?I))
(
duration
?I
(
MeasureFn
8
DayDuration
)))
Media.kif 473-482
如果
时距
是
年
的
instance
和
另一个 时距
是
EasterSunday
的
instance
和
第三 时距
是
PalmSunday
的
instance
和
那个 另外 时距
在
那个 时距
时段内发生 和
那个 第三 时距
在
那个 时距
时段内发生 和
那个 第三 时距
starts
了才到
第四 时距
和
那个 另外 时距
finishes
了才到
那个 第四 时距
,
然后
那个 第四 时距
的
duration
是 8
一天长度
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
Pentecost
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?E ?I)
(
finishes
?P ?I))
(
duration
?I
(
MeasureFn
50
DayDuration
)))
Media.kif 559-568
如果
时距
是
年
的
instance
和
另一个 时距
是
EasterSunday
的
instance
和
第三 时距
是
Pentecost
的
instance
和
那个 另外 时距
在
那个 时距
时段内发生 和
那个 第三 时距
在
那个 时距
时段内发生 和
那个 另外 时距
starts
了才到
第四 时距
和
那个 第三 时距
finishes
了才到
那个 第四 时距
,
然后
那个 第四 时距
的
duration
是 50
一天长度
(=>
(
and
(
measuringListInterval
?LIST ?DUR)
(
inList
?M ?LIST))
(
duration
(
WhenFn
?M) ?DUR))
Weather.kif 1843-1847
如果 (量度)
Measuring
串列
量度串列
在
持续时间
的时间间隔发生 和
物理
是
那个 量度串列
的
member
,
然后
那个 物理
出现 的
time
的
duration
是
那个 持续时间
(=>
(
and
(
recordingLength
?R ?T)
(
instance
?R
AudioRecording
)
(
instance
?L
Listening
)
(
patient
?L ?R))
(
duration
(
WhenFn
?L) ?T))
Music.kif 118-124
如果
Recording
是
持续时间
long
和
那个 Recording
是
录音
的
instance
和
过程
是
听
的
instance
和
那个 Recording
是
那个 过程
的
patient
,
然后
那个 过程
出现 的
time
的
duration
是
那个 持续时间
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
如果
有点 物理
由
有认知的主事
定的
price
根据
PricingScheme
是
函数量
和
那个 函数量
equal
实数
的
measure
是
测量单位
是
货币测量
的
per
和
那个 测量单位
是
UnitOfDuration
的
instance
和
实体
是
有点 物理
的
immediateInstance
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 实数
INT 是 存在,
然后 对所有
另一个 时距
如果 有存在
另一个 实数
这样
那个 实数
INT 在
那个 另外 时距
时段内发生 和
那个 另外 时距
是
时距
的
instance
和
那个 另外 时距
的
duration
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
,
然后 有存在
金融交易
这样
那个 金融交易
是
付款
的
instance
和
那个 金融交易
在
那个 有认知的主事
结束 和
那个 施事体
是
那个 金融交易
的
agent
和
那个 货币测量
是
那个 金融交易
的
transaction
总额
(=>
(
and
(
responseTime
?Request ?Time)
(
computerResponseTo
?Response ?Request))
(
duration
(
WhenFn
?Response) ?Time))
QoSontology.kif 1865-1869
如果
持续时间
是
用户请求
response
时间 和
那个 用户请求
是
电脑回应
的
computer
答覆,
然后
那个 电脑回应
出现 的
time
的
duration
是
那个 持续时间
(=>
(
and
(
startupTimeDelay
?Application ?Delay)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Application)
(
equal
(
WhenFn
?Process1) ?Time1)
(
instance
?Process2
ComputerProcess
)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time)
(
meetsTemporally
?Time ?Time2))
(
duration
?Time ?Delay))
QoSontology.kif 766-776
如果
电脑程序
的
startup
time
delay
是
持续时间
和
电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
和
那个 电脑程序
出现 的
time
equal
时距
和
物理
是
电脑程序
的
instance
和
那个 物理
出现 的
time
equal
另一个 时距
和
那个 时距
接着
第三 时距
和
那个 第三 时距
接着
那个 另外 时距
,
然后
那个 第三 时距
的
duration
是
那个 持续时间
(=>
(
and
(
subjectiveAttribute
?AGENT1
Quick
?PERSON)
(
subjectiveAttribute
?AGENT2
Slow
?PERSON)
(
instance
?PROCESS1 ?CLASS)
(
instance
?PROCESS2 ?CLASS)
(
subclass
?CLASS
Process
)
(
agent
?PROCESS1 ?AGENT1)
(
agent
?PROCESS2 ?AGENT2))
(
and
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?PROCESS1)
(
MeasureFn
?TIME1 ?U))
(
duration
(
WhenFn
?PROCESS2)
(
MeasureFn
?TIME2 ?U))
(
greaterThan
?TIME2 ?TIME1)))
Dining.kif 1044-1059
如果
施事体
believes
另一个 施事体
是
Quick
和
那个 施事体
believes
第三 施事体
是
Slow
和
过程
是
类
的
instance
和
另一个 过程
是
那个 类
的
instance
和
那个 类
是
过程
的
subclass
和
那个 另外 施事体
是
那个 过程
的
agent
和
那个 第三 施事体
是
那个 另外 过程
的
agent
,
然后
测量单位
是
UnitOfDuration
的
instance
和
那个 过程
出现 的
time
的
duration
是
实数
那个 测量单位
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?INTERVALTYPE)
(
instance
?TIME2 ?CLASS))
(
exists
(?DURATION)
(
and
(
duration
?TIME1 ?DURATION)
(
duration
?TIME2 ?DURATION))))))
Merge.kif 9429-9439
如果 分拆
时距
为 的
那个 时距
TYPE
equal
第三 有点 时距
,
然后 对所有
第四 时距
和
第五 时距
如果
那个 第四 时距
是
那个 时距
TYPE 的
instance
和
那个 第五 时距
是
第三 有点 时距
的
instance
,
然后 有存在
持续时间
这样
那个 第四 时距
的
duration
是
那个 持续时间
和
那个 第五 时距
的
duration
是
那个 持续时间
(=>
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3859-3861
如果
时距
equal
施事体
和
有点 年
的
fiscal
开始年分,
然后
那个 时距
的
duration
是 1
年持续时间
(=>
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
duration
?TIME
(
MeasureFn
2
MinuteDuration
)))
Weather.kif 2002-2006
如果
串列
equal
在
时距
时间结束以前, 发生在区域
地理区域
的
Mean3SecondWindSpeedListFn
(平均3秒风速表列),
然后
那个 时距
的
duration
是 2
分钟
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1376-1390
如果 有存在
时距
和
另一个 时距
这样
持续时间
是
电脑程序
的
dependency
延迟 和
关机块
是
那个 电脑程序
的
dependency
类别 和
另一个 电脑程序
有 对
那个 电脑程序
的依赖性 和
电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
和
另一个 电脑程序
是
电脑程序
的
instance
和
那个 另外 电脑程序
是
那个 另外 电脑程序
的执行
program
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
第三 时距
finishes
了才到
那个 时距
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
那个 第三 时距
的开始
equal
那个 另外 时距
的结束,
然后
那个 第三 时距
的
duration
是
那个 持续时间
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1360-1374
如果 有存在
时距
和
另一个 时距
这样
持续时间
是
电脑程序
的
dependency
延迟 和
启动块
是
那个 电脑程序
的
dependency
类别 和
另一个 电脑程序
有 对
那个 电脑程序
的依赖性 和
电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
和
另一个 电脑程序
是
电脑程序
的
instance
和
那个 另外 电脑程序
是
那个 另外 电脑程序
的执行
program
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
starts
了才到
第三 时距
和
那个 电脑程序
出现 的
time
equal
那个 时距
和
那个 第三 时距
的结束
equal
那个 时距
的开始,
然后
那个 第三 时距
的
duration
是
那个 持续时间
(=>
(
frequency
?PROC ?TIME1)
(
forall
(?TIME2)
(=>
(
duration
?TIME2 ?TIME1)
(
exists
(?POSITION)
(
and
(
temporalPart
?POSITION ?TIME2)
(
holdsDuring
?POSITION
(
exists
(?INST)
(
instance
?INST ?PROC))))))))
Merge.kif 7963-7973
如果
有点 过程
每
持续时间
发生一次,
然后 对所有
时距
如果
那个 时距
的
duration
是
那个 持续时间
,
然后 有存在
时间位置
这样
那个 时间位置
时段 是
那个 时距
时段 的一
part
和 有存在
实体
这样
那个 实体
是
有点 过程
的
instance
在
那个 时间位置
holdsDuring
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
1
DecadeDuration
)))
Merge.kif 8816-8818
如果
时距
是
Decade
的
instance
,
然后
那个 时距
的
duration
是 1
DecadeDuration
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
10
YearDuration
)))
Merge.kif 8820-8822
如果
时距
是
Decade
的
instance
,
然后
那个 时距
的
duration
是 10
年持续时间
(=>
(
instance
?DAY
Day
)
(
duration
?DAY
(
MeasureFn
1
DayDuration
)))
Merge.kif 9282-9284
如果
时距
是
日
的
instance
,
然后
那个 时距
的
duration
是 1
一天长度
(=>
(
instance
?FLOOD
FlashFlooding
)
(
exists
(?WATER ?HOUR)
(
and
(
instance
?WATER
WaterMotion
)
(
causes
?WATER ?FLOOD)
(
meetsTemporally
(
WhenFn
?WATER)
(
WhenFn
?FLOOD))
(
duration
(
WhenFn
?WATER)
(
MeasureFn
?HOUR
HourDuration
))
(
lessThan
?HOUR 6.0))))
Weather.kif 1613-1625
如果
过程
是
山洪暴发
的
instance
,
然后 有存在
另一个 过程
和
实数
这样
那个 另外 过程
是
水运动
的
instance
和
那个 另外 过程
causes
那个 过程
和
那个 另外 过程
出现 的
time
接着
那个 过程
出现 的
time
和
那个 另外 过程
出现 的
time
的
duration
是
那个 实数
小时
和
那个 实数
是
lessThan
6.0
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3831-3833
如果
时距
是
施事体
的
fiscal
年 的
instance
,
然后
那个 时距
的
duration
是 1
年持续时间
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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