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 7941-7944
(
documentation
duration
JapaneseLanguage
"(
duration
?POS ?TIME) とは、
TimePosition
?POS の持続時間が ?TIME という意味である。 注:この
Predicate
は、
Function
WhenFn
と組み合わせ て使用し、
Predicate
の任意のインスタンスの継続時間を指定できる。")
japanese_format.kif 1411-1413
(
domain
duration
1
TimeInterval
)
Merge.kif 7938-7938
The number 1 argument of
duration
is an
instance
of
time interval
(
domain
duration
2
TimeDuration
)
Merge.kif 7939-7939
The number 2 argument of
duration
is an
instance
of
time duration
(
instance
duration
BinaryPredicate
)
Merge.kif 7936-7936
duration
is an
instance
of
binary predicate
(
instance
duration
TotalValuedRelation
)
Merge.kif 7937-7937
duration
is an
instance
of
total valued relation
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
If
attention deficit hyperactivity disorder
is an
attribute
of
an agent
and
attention deficit hyperactivity disorder
is not an
attribute
of
another agent
and
the agent
is not
equal
to
the other agent
and
a process
is an
instance
of
a class
and
another process
is an
instance
of
the class
and
the class
is a
subclass
of
intentional psychological process
and
the agent
is an
agent
of
the process
and
the other agent
is an
agent
of
the other process
and
duration
of the
time
of existence of
the process
is
a time duration
and
duration
of the
time
of existence of
the other process
is
another time duration
,
then the statement
the other time duration
is
greater
than
the time duration
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5913-5920
If
an entity
is an
attribute
of
another entity
holds
during
a time interval
and
the other entity
is an
instance
of
chronic disease
and
duration
of
the time interval
is
a real number
,
then
the real number
is
greater
than 3
month duration
(s)
(=>
(
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
If
a process
is an
instance
of
drawingA check
and
an entity
is a
patient
of
the process
and
another process
is an
instance
of
processingA check
and
the entity
is a
patient
of
the other process
and the
time
of existence of
the process
is
equal
to
the process
Time and the
time
of existence of
the other process
is
equal
to
the other process
Time and
the process
Time
meet
s
a third time interval
and
the third time interval
meet
s
the other process
Time and
duration
of
the third time interval
is
a real number
month duration
(s),
then
the real number
is
less
than 6
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
If
an agreement
is an
instance
of
bank term loan
and
a time interval
is an
agreement
period of
the agreement
and
duration
of
the time interval
is
a real number
year duration
(s),
then
the real number
is
greater
than or equal to 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 466-482
If
a process
is an
instance
of
measuring breathing
and
an agent
is an
agent
of
the process
and
an object
is an
instance
of
lung
and
the object
is a
part
of
another object
and
a time interval
is an
instance
of
time interval
and
the time interval
takes place
during
the
time
of existence of
the process
and
duration
of
the time interval
is
minute duration
and
the other object
is a
patient
of
the process
,
then there exists
an entity
such that
the agent
know
s
the object
breathes
at a rate of
the entity
breaths per
the time interval
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9499-9503
If
a time interval
is an
instance
of
month
and
duration
of
the time interval
is
an integer
day duration
(s),
then the number of
instances
in
decomposition
of
the time interval
into
day
s is
equal
to
the integer
(=>
(
and
(
instance
?P
Passover
)
(
duration
?P
(
MeasureFn
?N
DayDuration
)))
(
or
(
equal
?N 7)
(
equal
?N 8)))
Media.kif 611-617
If
a time interval
is an
instance
of
passover
and
duration
of
the time interval
is
a real number
day duration
(s),
then
the real number
is
equal
to 7 or
the real number
is
equal
to 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
If
a process
is an
instance
of
speaking at a faster rate
and
another process
is an
instance
of
speaking at a slower rate
and
an unit of measure
is an
instance
of
unit of duration
and
an agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
and
the process
contain
s information
a proposition
and
the other process
contain
s information
the proposition
and
duration
of the
time
of existence of
the process
is
a real number
the unit of measure
(s) and
duration
of the
time
of existence of
the other process
is
another real number
the unit of measure
(s),
then
the real number
is
greater
than
the other real number
(=>
(
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
If
a physical
is an
instance
of
speaking a short utterance
and
another physical
is an
instance
of
speaking a long utterance
and
an unit of measure
is an
instance
of
unit of duration
and
duration
of the
time
of existence of
the physical
is
a real number
the unit of measure
(s) and
duration
of the
time
of existence of
the other physical
is
another real number
the unit of measure
(s),
then
the other real number
is
greater
than
the real number
(=>
(
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
If
a time interval
is an
instance
of
TimePeriod
and
duration
of
the time interval
is
a real number
minute duration
(s) and
the real number
is
greater
than 5.0 and
an entity
is an
instance
of
human
and there doesn't exist
a process
such that
the process
is an
instance
of
breathing
and the
time
of existence of
the process
takes place
during
the time interval
and
the entity
is a
patient
of
the process
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
death
and
the entity
experience
s
the other entity
and
the time interval
meet
s the
time
of existence of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?T1
TimePoint
)
(
instance
?T2
TimePoint
)
(
equal
?INTERVAL
(
TimeIntervalFn
?T1 ?T2))
(
duration
?INTERVAL ?PERIOD))
(
equal
?INTERVAL
(
TimePeriodFn
?T1 ?PERIOD)))
Mid-level-ontology.kif 14067-14073
If
a time point
is an
instance
of
time point
and
another time point
is an
instance
of
time point
and
a time interval
is
equal
to
interval
between
the time point
and
the other time point
and
duration
of
the time interval
is
a time duration
,
then
the time interval
is
equal
to a
time
that starts at
the time point
and lasts for
the time duration
(=>
(
and
(
statementPeriod
?Statement ?Period)
(
duration
?Period ?Duration))
(
equal
?Duration
MonthDuration
))
FinancialOntology.kif 4064-4068
If
a time interval
is a
statement
period of
a bank statement
and
duration
of
the time interval
is
a time duration
,
then
the time duration
is
equal
to
month duration
consequent
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
duration
?INT ?DUR))
Weather.kif 1958-1963
If
a time interval
is a
member
of
a consecutive time interval list
and
the consecutive time interval list
is
equal
to
ConsecutiveTimeIntervalList
for at
another time interval
at
a time duration
is contained in
TimeIntervalListFn
,
then
duration
of
the time interval
is
the time 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 16474-16486
If
a process
is an
instance
of
insomnia
and
a cognitive agent
experience
s
the process
,
then there exist
another process
,
a time duration
and
the time duration
2 such that
the other process
is an
instance
of
sleeping
and
the cognitive agent
experience
s
the other process
and
duration
of the
time
of existence of
the other process
is
the time duration
and
the cognitive agent
desire
s
duration
of the
time
of existence of
the other process
is
the time duration
2 and
the time duration
2 is
greater
than
the time duration
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
instance
?Y
LeapYear
))
(
duration
?MONTH
(
MeasureFn
29
DayDuration
)))
Merge.kif 9109-9114
If
a time interval
is an
instance
of the
month
February
and
an entity
is an
instance
of
the entity
EAR and
the entity
is an
instance
of
leap year
,
then
duration
of
the time interval
is 29
day duration
(s)
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
not
(
instance
?Y
LeapYear
)))
(
duration
?MONTH
(
MeasureFn
28
DayDuration
)))
Merge.kif 9102-9107
If
a time interval
is an
instance
of the
month
February
and
an entity
is an
instance
of
the entity
EAR and
the entity
is not an
instance
of
leap year
,
then
duration
of
the time interval
is 28
day duration
(s)
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7525-7529
If
a time point
is an
instance
of
time point
and the
age
of
a physical
is
a time duration
holds
during
the time point
,
then
duration
of
interval
between the
beginning
of the
time
of existence of
the physical
and
the time point
is
the 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
If
a time interval
is an
instance
of
year
and
another time interval
is an
instance
of
Easter sunday
and
a third time interval
is an
instance
of
ascension thursday
and
the other time interval
takes place
during
the time interval
and
the third time interval
takes place
during
the time interval
and
the other time interval
start
s
a fourth time interval
and
the third time interval
finish
es
the fourth time interval
,
then
duration
of
the fourth time interval
is 40
day duration
(s)
(=>
(
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
If
a time interval
is an
instance
of
year
and
another time interval
is an
instance
of
Easter sunday
and
a third time interval
is an
instance
of
palm sunday
and
the other time interval
takes place
during
the time interval
and
the third time interval
takes place
during
the time interval
and
the third time interval
start
s
a fourth time interval
and
the other time interval
finish
es
the fourth time interval
,
then
duration
of
the fourth time interval
is 8
day duration
(s)
(=>
(
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
If
a time interval
is an
instance
of
year
and
another time interval
is an
instance
of
Easter sunday
and
a third time interval
is an
instance
of
Pentecost
and
the other time interval
takes place
during
the time interval
and
the third time interval
takes place
during
the time interval
and
the other time interval
start
s
a fourth time interval
and
the third time interval
finish
es
the fourth time interval
,
then
duration
of
the fourth time interval
is 50
day duration
(s)
(=>
(
and
(
measuringListInterval
?LIST ?DUR)
(
inList
?M ?LIST))
(
duration
(
WhenFn
?M) ?DUR))
Weather.kif 1843-1847
If The
Measuring
for list
a measuring list
occurs at
a time duration
interval. and
a physical
is a
member
of
the measuring list
,
then
duration
of the
time
of existence of
the physical
is
the time duration
(=>
(
and
(
recordingLength
?R ?T)
(
instance
?R
AudioRecording
)
(
instance
?L
Listening
)
(
patient
?L ?R))
(
duration
(
WhenFn
?L) ?T))
Music.kif 118-124
If
a recording
is
a time duration
long
and
the recording
is an
instance
of
audio recording
and
a process
is an
instance
of
listening
and
the recording
is a
patient
of
the process
,
then
duration
of the
time
of existence of
the process
is
the 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
If the
price
of
a kind of physical
set by
a cognitive agent
according to
a pricing scheme
is
a function quantity
and
the function quantity
is
equal
to the
per
of
a currency measure
and the
measure
of
a real number
is
an unit of measure
and
the unit of measure
is an
instance
of
unit of duration
and
an entity
is an
immediate
instance of
a kind of physical
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
the process
exists
during
the real number
INT,
then for all
another time interval
if there exists
another real number
such that
the real number
INT takes place
during
the other time interval
and
the other time interval
is an
instance
of
time interval
and
duration
of
the other time interval
is
the other real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
end
s up at
the cognitive agent
and
the agent
is an
agent
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
and
(
responseTime
?Request ?Time)
(
computerResponseTo
?Response ?Request))
(
duration
(
WhenFn
?Response) ?Time))
QoSontology.kif 1759-1763
If
a time duration
is a
response
time of
an user request
and
the user request
is a
computer
response of
a computer response
,
then
duration
of the
time
of existence of
the computer response
is
the 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 660-670
If the
startup
time
delay
of
a computer program
is
a time duration
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and the
time
of existence of
the computer process
is
equal
to
a time interval
and
a physical
is an
instance
of
computer process
and the
time
of existence of
the physical
is
equal
to
another time interval
and
the time interval
meet
s
a third time interval
and
the third time interval
meet
s
the other time interval
,
then
duration
of
the third time interval
is
the time 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
If
an agent
believes
another agent
is
quick
and
the agent
believes
a third agent
is
slow
and
a process
is an
instance
of
a class
and
another process
is an
instance
of
the class
and
the class
is a
subclass
of
process
and
the other agent
is an
agent
of
the process
and
the third agent
is an
agent
of
the other process
,
then
an unit of measure
is an
instance
of
unit of duration
and
duration
of the
time
of existence of
the process
is
a real number
the unit of measure
(s) and
duration
of the
time
of existence of
the other process
is
another real number
the unit of measure
(s) and
the other real number
is
greater
than
the real number
(=>
(
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 9419-9429
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
another kind of time interval
,
then for all
a third time interval
and
a fourth time interval
if
the third time interval
is an
instance
of
the time interval
TYPE and
the fourth time interval
is an
instance
of
another kind of time interval
,
then there exists
a time duration
such that
duration
of
the third time interval
is
the time duration
and
duration
of
the fourth time interval
is
the time duration
(=>
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3744-3746
If
a time interval
is
equal
to the
fiscal
year starting of
an agent
and
a kind of year
,
then
duration
of
the time interval
is 1
year duration
(s)
(=>
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
duration
?TIME
(
MeasureFn
2
MinuteDuration
)))
Weather.kif 2002-2006
If
a list
is
equal
to
Mean3SecondWindSpeedListFn
ending at
a time interval
in region
a geographic area
,
then
duration
of
the time interval
is 2
minute duration
(s)
(=>
(
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
If there exist
a time interval
and
another time interval
such that
a time duration
is a
dependency
delay of
a computer program
and
shutdown block
is a
dependency
type of
the computer program
and
another computer program
has a
dependency
on
the computer program
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and
another computer process
is an
instance
of
computer process
and
the other computer program
is a
program
running of
the other computer process
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
a third time interval
finish
es
the time interval
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and the
beginning
of
the third time interval
is
equal
to the
end
of
the other time interval
,
then
duration
of
the third time interval
is
the time 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 1254-1268
If there exist
a time interval
and
another time interval
such that
a time duration
is a
dependency
delay of
a computer program
and
startup block
is a
dependency
type of
the computer program
and
another computer program
has a
dependency
on
the computer program
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and
another computer process
is an
instance
of
computer process
and
the other computer program
is a
program
running of
the other computer process
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
the other time interval
start
s
a third time interval
and the
time
of existence of
the computer process
is
equal
to
the time interval
and the
end
of
the third time interval
is
equal
to the
beginning
of
the time interval
,
then
duration
of
the third time interval
is
the time duration
(=>
(
frequency
?PROC ?TIME1)
(
forall
(?TIME2)
(=>
(
duration
?TIME2 ?TIME1)
(
exists
(?POSITION)
(
and
(
temporalPart
?POSITION ?TIME2)
(
holdsDuring
?POSITION
(
exists
(?INST)
(
instance
?INST ?PROC))))))))
Merge.kif 7953-7963
If
a kind of process
occur
s every
a time duration
,
then for all
a time interval
if
duration
of
the time interval
is
the time duration
,
then there exists
a time position
such that
the time position
is a
part
of
the time interval
and there exists
an entity
such that
the entity
is an
instance
of
a kind of process
holds
during
the time position
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
1
DecadeDuration
)))
Merge.kif 8806-8808
If
a time interval
is an
instance
of
decade
,
then
duration
of
the time interval
is 1
decade duration
(s)
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
10
YearDuration
)))
Merge.kif 8810-8812
If
a time interval
is an
instance
of
decade
,
then
duration
of
the time interval
is 10
year duration
(s)
(=>
(
instance
?DAY
Day
)
(
duration
?DAY
(
MeasureFn
1
DayDuration
)))
Merge.kif 9272-9274
If
a time interval
is an
instance
of
day
,
then
duration
of
the time interval
is 1
day duration
(s)
(=>
(
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
If
a process
is an
instance
of
flash flooding
,
then there exist
another process
and
a real number
such that
the other process
is an
instance
of
water motion
and
the other process
cause
s
the process
and the
time
of existence of
the other process
meet
s the
time
of existence of
the process
and
duration
of the
time
of existence of
the other process
is
the real number
hour duration
(s) and
the real number
is
less
than 6.0
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3716-3718
If
a time interval
is an
instance
of the
fiscal
year of
an agent
,
then
duration
of
the time interval
is 1
year duration
(s)
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