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 7905-7908
(
documentation
duration
JapaneseLanguage
"(
duration
?POS ?TIME) とは、
TimePosition
?POS の持続時間が ?TIME という意味である。 注:この
Predicate
は、
Function
WhenFn
と組み合わせ て使用し、
Predicate
の任意のインスタンスの継続時間を指定できる。")
japanese_format.kif 1411-1413
(
domain
duration
1
TimeInterval
)
Merge.kif 7902-7902
duration
の数値 1 引数は
時間間隔
の
instance
では %n
(
domain
duration
2
TimeDuration
)
Merge.kif 7903-7903
duration
の数値 2 引数は
時間分
の
instance
では %n
(
instance
duration
BinaryPredicate
)
Merge.kif 7900-7900
duration
は
2進述語
の
instance
では %n
(
instance
duration
TotalValuedRelation
)
Merge.kif 7901-7901
duration
は
合計値関係
の
instance
では %n
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 20688-20688
(
termFormat
ChineseLanguage
duration
"时段")
chinese_format.kif 414-414
(
termFormat
ChineseTraditionalLanguage
duration
"持續時間")
domainEnglishFormat.kif 20687-20687
(
termFormat
EnglishLanguage
duration
"duration")
domainEnglishFormat.kif 20686-20686
(
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 3984-4004
ADHD
は
AutonomousAgent
の
attribute
では %n
ADHD
は
AutonomousAgent
の
attribute
では
AutonomousAgent
は
AutonomousAgent
と
equal
では
工程
は
クラス
の
instance
では %n
工程
は
クラス
の
instance
では %n
クラス
は
意図的な心理的プロセス
の
subclass
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence の
duration
は
時間分
では %n
工程
の
time
の existence の
duration
は
時間分
では %n
ステートメント
時間分
は
時間分
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
エンティティー
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
は
ChronicDisease
の
instance
では %n
時間間隔
の
duration
は
実数
では %n
実数
は 3 の
MonthDuration
(s) より
greater
では %n
(=>
(
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
工程
は
DrawingACheck
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
ProcessingACheck
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
工程
Time は
時間間隔
に
meet
s %n{ない}
時間間隔
は
工程
Time に
meet
s %n{ない}
時間間隔
の
duration
は
実数
の
MonthDuration
(s) では %n
実数
は 6 より
less
では %n
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
Agreement
は
BankTermLoan
の
instance
では %n
agreementPeriod
Agreement
and
時間間隔
時間間隔
の
duration
は
実数
の
YearDuration
(s) では %n
実数
は 1
greater
では %n
(=>
(
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 466-482
工程
は
MeasuringBreathing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
時間間隔
の
duration
は
MinuteDuration
では %n
オブジェクト
は
工程
の
patient
では %n
エンティティー
AutonomousAgent
は
breathingRate
オブジェクト
,
時間間隔
and
エンティティー
を
know
s %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9463-9467
時間間隔
は
月
の
instance
では %n
時間間隔
の
duration
は
整数
の
DayDuration
(s) では %n
時間間隔
を の
日
s に
decomposition
の
instances
の数 は
整数
と
equal
では %n
(=>
(
and
(
instance
?P
Passover
)
(
duration
?P
(
MeasureFn
?N
DayDuration
)))
(
or
(
equal
?N 7)
(
equal
?N 8)))
Media.kif 611-617
時間間隔
は
Passover
の
instance
では %n
時間間隔
の
duration
は
実数
の
DayDuration
(s) では %n
実数
は 7 と
equal
では %n
実数
は 8 と
equal
では %n
(=>
(
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
では %n
工程
は
SpeakingAtASlowerRate
の
instance
では %n
測定単位
は
UnitOfDuration
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
命題
の情報を
contain
s %n{ない}
工程
は
命題
の情報を
contain
s %n{ない}
工程
の
time
の existence の
duration
は
実数
の
測定単位
(s) では %n
工程
の
time
の existence の
duration
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
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 2104-2113
物理
は
SpeakingAShortUtterance
の
instance
では %n
物理
は
SpeakingALongUtterance
の
instance
では %n
測定単位
は
UnitOfDuration
の
instance
では %n
物理
の
time
の existence の
duration
は
実数
の
測定単位
(s) では %n
物理
の
time
の existence の
duration
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
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 5997-6017
時間間隔
は
TimePeriod
の
instance
では %n
時間間隔
の
duration
は
実数
の
MinuteDuration
(s) では %n
実数
は 5.0 より
greater
では %n
エンティティー
は
人[人間]
の
instance
では %n
工程
工程
は
呼吸
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
エンティティー
は
工程
の
patient
では %n
ステートメント
エンティティー
エンティティー
は
死
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
時間間隔
は
エンティティー
の
time
の existence に
meet
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?T1
TimePoint
)
(
instance
?T2
TimePoint
)
(
equal
?INTERVAL
(
TimeIntervalFn
?T1 ?T2))
(
duration
?INTERVAL ?PERIOD))
(
equal
?INTERVAL
(
TimePeriodFn
?T1 ?PERIOD)))
Mid-level-ontology.kif 14040-14046
時点
は
時点
の
instance
では %n
時点
は
時点
の
instance
では %n
時間間隔
は
時点
と
時点
の
interval
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
時間間隔
は
TimePeriodFn
時点
and
時間分
と
equal
では %n
(=>
(
and
(
statementPeriod
?Statement ?Period)
(
duration
?Period ?Duration))
(
equal
?Duration
MonthDuration
))
FinancialOntology.kif 4064-4068
statementPeriod
BankStatement
and
時間間隔
時間間隔
の
duration
は
時間分
では %n
時間分
は
MonthDuration
と
equal
では %n
consequent
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
duration
?INT ?DUR))
Weather.kif 1975-1980
時間間隔
は
ConsecutiveTimeIntervalList
の
member
では %n
ConsecutiveTimeIntervalList
は
TimeIntervalListFn
時間間隔
and
時間分
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
(=>
(
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 16447-16459
工程
は
Insomnia
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
工程
時間分
and
時間分
2
工程
は
Sleeping
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
工程
の
time
の existence の
duration
は
時間分
では %n
認識エージェント
が
工程
の
time
の existence の
duration
は
時間分
2 では %n
時間分
2 は
時間分
より
greater
では %n を
desire
s %n{ない}
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
instance
?Y
LeapYear
))
(
duration
?MONTH
(
MeasureFn
29
DayDuration
)))
Merge.kif 9073-9078
時間間隔
は
2月
month
目 の
instance
では %n
エンティティー
は
エンティティー
EAR の
instance
では %n
エンティティー
は
うるう年
の
instance
では %n
時間間隔
の
duration
は 29 の
DayDuration
(s) では %n
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
not
(
instance
?Y
LeapYear
)))
(
duration
?MONTH
(
MeasureFn
28
DayDuration
)))
Merge.kif 9066-9071
時間間隔
は
2月
month
目 の
instance
では %n
エンティティー
は
エンティティー
EAR の
instance
では %n
エンティティー
は
うるう年
の
instance
では
時間間隔
の
duration
は 28 の
DayDuration
(s) では %n
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7524-7528
時点
は
時点
の
instance
では %n
物理
の
age
は
時間分
では は
時点
の
during
holds %n{ない}
物理
の
time
の existence の
beginning
と
時点
の
interval
の
duration
は
時間分
では %n
(=>
(
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
では %n
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
AscensionThursday
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
の
duration
は 40 の
DayDuration
(s) では %n
(=>
(
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
では %n
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
PalmSunday
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
の
duration
は 8 の
DayDuration
(s) では %n
(=>
(
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
では %n
時間間隔
は
EasterSunday
の
instance
では %n
時間間隔
は
Pentecost
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
の
duration
は 50 の
DayDuration
(s) では %n
(=>
(
and
(
measuringListInterval
?LIST ?DUR)
(
inList
?M ?LIST))
(
duration
(
WhenFn
?M) ?DUR))
Weather.kif 1860-1864
measuringListInterval
MeasuringList
and
時間分
物理
は
MeasuringList
の
member
では %n
物理
の
time
の existence の
duration
は
時間分
では %n
(=>
(
and
(
recordingLength
?R ?T)
(
instance
?R
AudioRecording
)
(
instance
?L
Listening
)
(
patient
?L ?R))
(
duration
(
WhenFn
?L) ?T))
Music.kif 118-124
recordingLength
Recording
and
時間分
Recording
は
AudioRecording
の
instance
では %n
工程
は
Listening
の
instance
では %n
Recording
は
工程
の
patient
では %n
工程
の
time
の existence の
duration
は
時間分
では %n
(=>
(
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
rentalPrice
物理
,
関数量
,
認識エージェント
and
PricingScheme
関数量
は
PerFn
通貨測定
and
実数
の
measure
は
測定単位
では %n と
equal
では %n
測定単位
は
UnitOfDuration
の
instance
では %n
エンティティー
は
物理
の
immediate
の インスタンス では %n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
実数
INT の
during
exists %n{ない}
時間間隔
実数
実数
INT は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
duration
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
less
または同等 では %n
金融取引
金融取引
は
Payment
の
instance
では %n
金融取引
は
認識エージェント
に
end
s %n{ない}
AutonomousAgent
は
金融取引
の
agent
では %n
transactionAmount
金融取引
and
通貨測定
(=>
(
and
(
responseTime
?Request ?Time)
(
computerResponseTo
?Response ?Request))
(
duration
(
WhenFn
?Response) ?Time))
QoSontology.kif 1759-1763
responseTime
UserRequest
and
時間分
computerResponseTo
ComputerResponse
and
UserRequest
ComputerResponse
の
time
の existence の
duration
は
時間分
では %n
(=>
(
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 660-670
startupTimeDelay
コンピュータープログラム
and
時間分
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
物理
は
ComputerProcess
の
instance
では %n
物理
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
の
duration
は
時間分
では %n
(=>
(
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
subjectiveAttribute
AutonomousAgent
,
Quick
and
AutonomousAgent
subjectiveAttribute
AutonomousAgent
,
Slow
and
AutonomousAgent
工程
は
クラス
の
instance
では %n
工程
は
クラス
の
instance
では %n
クラス
は
工程
の
subclass
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
測定単位
は
UnitOfDuration
の
instance
では %n
工程
の
time
の existence の
duration
は
実数
の
測定単位
(s) では %n
工程
の
time
の existence の
duration
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
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 9383-9393
時間間隔
を の
時間間隔
TYPEs に
decomposition
は
時間間隔
と
equal
では %n
時間間隔
時間間隔
時間間隔
は
時間間隔
TYPE の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間分
時間間隔
の
duration
は
時間分
では %n
時間間隔
の
duration
は
時間分
では %n
(=>
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3744-3746
時間間隔
は
FiscalYearStartingFn
AutonomousAgent
and
年
と
equal
では %n
時間間隔
の
duration
は 1 の
YearDuration
(s) では %n
(=>
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
duration
?TIME
(
MeasureFn
2
MinuteDuration
)))
Weather.kif 2019-2023
リスト
は
Mean3SecondWindSpeedListFn
地理的地域
and
時間間隔
と
equal
では %n
時間間隔
の
duration
は 2 の
MinuteDuration
(s) では %n
(=>
(
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 1270-1284
時間間隔
時間間隔
dependencyDelay
コンピュータープログラム
and
時間分
dependencyType
コンピュータープログラム
and
ShutdownBlock
hasDependency
コンピュータープログラム
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
finish
es %n{ない}
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
の
beginning
は
時間間隔
の
end
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
(=>
(
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 1254-1268
時間間隔
時間間隔
dependencyDelay
コンピュータープログラム
and
時間分
dependencyType
コンピュータープログラム
and
StartupBlock
hasDependency
コンピュータープログラム
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
の
end
は
時間間隔
の
beginning
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
(=>
(
frequency
?PROC ?TIME1)
(
forall
(?TIME2)
(=>
(
duration
?TIME2 ?TIME1)
(
exists
(?POSITION)
(
and
(
temporalPart
?POSITION ?TIME2)
(
holdsDuring
?POSITION
(
exists
(?INST)
(
instance
?INST ?PROC))))))))
Merge.kif 7917-7927
工程
は
時間分
ごとに
occur
s %n{ない}
時間間隔
時間間隔
の
duration
は
時間分
では %n
時間位置
時間位置
は
時間間隔
の
part
では %n
エンティティー
エンティティー
は
工程
の
instance
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
1
DecadeDuration
)))
Merge.kif 8770-8772
時間間隔
は
Decade
の
instance
では %n
時間間隔
の
duration
は 1 の
DecadeDuration
(s) では %n
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
10
YearDuration
)))
Merge.kif 8774-8776
時間間隔
は
Decade
の
instance
では %n
時間間隔
の
duration
は 10 の
YearDuration
(s) では %n
(=>
(
instance
?DAY
Day
)
(
duration
?DAY
(
MeasureFn
1
DayDuration
)))
Merge.kif 9236-9238
時間間隔
は
日
の
instance
では %n
時間間隔
の
duration
は 1 の
DayDuration
(s) では %n
(=>
(
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 1630-1642
工程
は
FlashFlooding
の
instance
では %n
工程
実数
工程
は
WaterMotion
の
instance
では %n
工程
は
工程
を
cause
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence に
meet
s %n{ない}
工程
の
time
の existence の
duration
は
実数
の
HourDuration
(s) では %n
実数
は 6.0 より
less
では %n
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3716-3718
時間間隔
は
FiscalYearFn
AutonomousAgent
の
instance
では %n
時間間隔
の
duration
は 1 の
YearDuration
(s) では %n
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