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
Le nombre 1 argument de
duration
est une
instance
de
interval temporel
(
domain
duration
2
TimeDuration
)
Merge.kif 7903-7903
Le nombre 2 argument de
duration
est une
instance
de
dur�e temporel
(
instance
duration
BinaryPredicate
)
Merge.kif 7900-7900
duration
est une
instance
de
pr�dicat binaire
(
instance
duration
TotalValuedRelation
)
Merge.kif 7901-7901
duration
est une
instance
de
relation total
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
est un
attribut
de
AutonomousAgent
ADHD
est un
attribut
de
AutonomousAgent
AutonomousAgent
est
AutonomousAgent
processus
est une
instance
de
classe
processus
est une
instance
de
classe
classe
est une
sous
-classe de
processus psycholoqique intentionnel
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
l'argument
dur�e temporel
est
plus
grand
que
dur�e temporel
a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
Entit�
est un
attribut
de
entit�
pendant
interval temporel
entit�
est une
instance
de
ChronicDisease
la
dur
�� de
interval temporel
est
nombre r�el
nombre r�el
est
plus
grand
que 3
MonthDuration
(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
Processus
est une
instance
de
DrawingACheck
entit�
est un
patient
de
processus
processus
est une
instance
de
ProcessingACheck
entit�
est un
patient
de
processus
temps
d'existence de
processus
est
processus
Time
temps
d'existence de
processus
est
processus
Time
processus
Time
rencontre
interval temporel
interval temporel
rencontre
processus
Time la
dur
�� de
interval temporel
est
nombre r�el
MonthDuration
(s)
nombre r�el
est
moins
que 6
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
Agreement
est une
instance
de
BankTermLoan
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 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
Processus
est une
instance
de
MeasuringBreathing
processus
est un
agent
de
AutonomousAgent
objet
est une
instance
de
Lung
objet
est une
partie
de
objet
interval temporel
est une
instance
de
interval temporel
interval temporel
prend place
pendant
temps
d'existence de
processus
la
dur
�� de
interval temporel
est
MinuteDuration
objet
est un
patient
de
processus
entit�
AutonomousAgent
conna
�t
breathingRate
objet
,
interval temporel
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9463-9467
Interval temporel
est une
instance
de
mois
la
dur
�� de
interval temporel
est
nombre entier
DayDuration
(s)
le nombre d'
instances
dans
decomposition
de
interval temporel
en
jour
s est
nombre entier
(=>
(
and
(
instance
?P
Passover
)
(
duration
?P
(
MeasureFn
?N
DayDuration
)))
(
or
(
equal
?N 7)
(
equal
?N 8)))
Media.kif 611-617
Interval temporel
est une
instance
de
Passover
la
dur
�� de
interval temporel
est
nombre r�el
DayDuration
(s)
nombre r�el
est
nombre r�el
est &%�gal � 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
Processus
est une
instance
de
SpeakingAtAFasterRate
processus
est une
instance
de
SpeakingAtASlowerRate
unit� de mesure
est une
instance
de
UnitOfDuration
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
contient
information
proposition
processus
contient
information
proposition
la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s) la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Physique
est une
instance
de
SpeakingAShortUtterance
physique
est une
instance
de
SpeakingALongUtterance
unit� de mesure
est une
instance
de
UnitOfDuration
la
dur
�� de
temps
d'existence de
physique
est
nombre r�el
unit� de mesure
(s) la
dur
�� de
temps
d'existence de
physique
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Interval temporel
est une
instance
de
TimePeriod
la
dur
�� de
interval temporel
est
nombre r�el
MinuteDuration
(s)
nombre r�el
est
plus
grand
que 5.0
entit�
est une
instance
de
humain
processus
processus
est une
instance
de
respirer
temps
d'existence de
processus
prend place
pendant
interval temporel
entit�
est un
patient
de
processus
l'argument
entit�
entit�
est une
instance
de
mort
entit�
exp
�rimente
entit�
interval temporel
rencontre
temps
d'existence de
entit�
a la
force
modale
de
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 14040-14046
Point temporel
est une
instance
de
point temporel
point temporel
est une
instance
de
point temporel
interval temporel
est
intervale
entre
point temporel
et
point temporel
la
dur
�� de
interval temporel
est
dur�e temporel
interval temporel
est
TimePeriodFn
point temporel
and
dur�e temporel
(=>
(
and
(
statementPeriod
?Statement ?Period)
(
duration
?Period ?Duration))
(
equal
?Duration
MonthDuration
))
FinancialOntology.kif 4064-4068
statementPeriod
BankStatement
and
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
dur�e temporel
est
MonthDuration
consequent
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
duration
?INT ?DUR))
Weather.kif 1975-1980
Interval temporel
est un
membre
de
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
est
TimeIntervalListFn
interval temporel
and
dur�e temporel
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
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
Processus
est une
instance
de
Insomnia
agent cognitif
exp
�rimente
processus
processus
dur�e temporel
and
dur�e temporel
2
processus
est une
instance
de
Sleeping
agent cognitif
exp
�rimente
processus
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
agent cognitif
desire
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
2
dur�e temporel
2 est
plus
grand
que
dur�e temporel
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
instance
?Y
LeapYear
))
(
duration
?MONTH
(
MeasureFn
29
DayDuration
)))
Merge.kif 9073-9078
Interval temporel
est une
instance
de le
moi
F�vrier
entit�
est une
instance
de
entit�
EAR
entit�
est une
instance
de
ann�e bissextile
la
dur
�� de
interval temporel
est 29
DayDuration
(s)
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
not
(
instance
?Y
LeapYear
)))
(
duration
?MONTH
(
MeasureFn
28
DayDuration
)))
Merge.kif 9066-9071
Interval temporel
est une
instance
de le
moi
F�vrier
entit�
est une
instance
de
entit�
EAR
entit�
est une
instance
de
ann�e bissextile
la
dur
�� de
interval temporel
est 28
DayDuration
(s)
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7524-7528
Point temporel
est une
instance
de
point temporel
l'
physique
est
dur�e temporel
pendant
point temporel
la
dur
�� de l'
intervale
entre le
d
�but de
temps
d'existence de
physique
et
point temporel
est
dur�e temporel
(=>
(
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
Interval temporel
est une
instance
de
ann�e
interval temporel
est une
instance
de
EasterSunday
interval temporel
est une
instance
de
AscensionThursday
interval temporel
prend place
pendant
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
la
dur
�� de
interval temporel
est 40
DayDuration
(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
Interval temporel
est une
instance
de
ann�e
interval temporel
est une
instance
de
EasterSunday
interval temporel
est une
instance
de
PalmSunday
interval temporel
prend place
pendant
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
la
dur
�� de
interval temporel
est 8
DayDuration
(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
Interval temporel
est une
instance
de
ann�e
interval temporel
est une
instance
de
EasterSunday
interval temporel
est une
instance
de
Pentecost
interval temporel
prend place
pendant
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
la
dur
�� de
interval temporel
est 50
DayDuration
(s)
(=>
(
and
(
measuringListInterval
?LIST ?DUR)
(
inList
?M ?LIST))
(
duration
(
WhenFn
?M) ?DUR))
Weather.kif 1860-1864
measuringListInterval
MeasuringList
and
dur�e temporel
physique
est un
membre
de
MeasuringList
la
dur
�� de
temps
d'existence de
physique
est
dur�e temporel
(=>
(
and
(
recordingLength
?R ?T)
(
instance
?R
AudioRecording
)
(
instance
?L
Listening
)
(
patient
?L ?R))
(
duration
(
WhenFn
?L) ?T))
Music.kif 118-124
recordingLength
Recording
and
dur�e temporel
Recording
est une
instance
de
AudioRecording
processus
est une
instance
de
Listening
Recording
est un
patient
de
processus
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
(=>
(
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
physique
,
function de quantit�
,
agent cognitif
and
PricingScheme
function de quantit�
est
PerFn
mesure de devise
and la
mesure
de
nombre r�el
est
unit� de mesure
unit� de mesure
est une
instance
de
UnitOfDuration
entit�
est une
instance
imm�diate de
physique
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
existe
pendant
nombre r�el
INT
interval temporel
nombre r�el
nombre r�el
INT prend place
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
agent cognitif
financial transaction
est un
agent
de
AutonomousAgent
transactionAmount
financial transaction
and
mesure de devise
(=>
(
and
(
responseTime
?Request ?Time)
(
computerResponseTo
?Response ?Request))
(
duration
(
WhenFn
?Response) ?Time))
QoSontology.kif 1759-1763
responseTime
UserRequest
and
dur�e temporel
computerResponseTo
ComputerResponse
and
UserRequest
la
dur
�� de
temps
d'existence de
ComputerResponse
est
dur�e temporel
(=>
(
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
programme d'ordinateur
and
dur�e temporel
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
physique
est une
instance
de
ComputerProcess
temps
d'existence de
physique
est
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
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
processus
est une
instance
de
classe
processus
est une
instance
de
classe
classe
est une
sous
-classe de
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfDuration
la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s) la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
TYPE
interval temporel
est une
instance
de
interval temporel
dur�e temporel
la
dur
�� de
interval temporel
est
dur�e temporel
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3744-3746
Interval temporel
est
FiscalYearStartingFn
AutonomousAgent
and
ann�e
la
dur
�� de
interval temporel
est 1
YearDuration
(s)
(=>
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
duration
?TIME
(
MeasureFn
2
MinuteDuration
)))
Weather.kif 2019-2023
Liste
est
Mean3SecondWindSpeedListFn
secteur g�ographique
and
interval temporel
la
dur
�� de
interval temporel
est 2
MinuteDuration
(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
Interval temporel
interval temporel
dependencyDelay
programme d'ordinateur
and
dur�e temporel
dependencyType
programme d'ordinateur
and
ShutdownBlock
hasDependency
programme d'ordinateur
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
finit
interval temporel
temps
d'existence de
ComputerProcess
est
interval temporel
le
d
�but de
interval temporel
est
fin
de
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
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
Interval temporel
interval temporel
dependencyDelay
programme d'ordinateur
and
dur�e temporel
dependencyType
programme d'ordinateur
and
StartupBlock
hasDependency
programme d'ordinateur
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
commence
interval temporel
temps
d'existence de
ComputerProcess
est
interval temporel
la
fin
de
interval temporel
est
d
�but de
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
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
Processus
se
produit tous les
dur�e temporel
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
position temporel
position temporel
est une
partie
de
interval temporel
entit�
entit�
est une
instance
de
processus
pendant
position temporel
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
1
DecadeDuration
)))
Merge.kif 8770-8772
Interval temporel
est une
instance
de
Decade
la
dur
�� de
interval temporel
est 1
DecadeDuration
(s)
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
10
YearDuration
)))
Merge.kif 8774-8776
Interval temporel
est une
instance
de
Decade
la
dur
�� de
interval temporel
est 10
YearDuration
(s)
(=>
(
instance
?DAY
Day
)
(
duration
?DAY
(
MeasureFn
1
DayDuration
)))
Merge.kif 9236-9238
Interval temporel
est une
instance
de
jour
la
dur
�� de
interval temporel
est 1
DayDuration
(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 1630-1642
Processus
est une
instance
de
FlashFlooding
processus
nombre r�el
processus
est une
instance
de
WaterMotion
processus
cause
processus
temps
d'existence de
processus
rencontre
temps
d'existence de
processus
la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
HourDuration
(s)
nombre r�el
est
moins
que 6.0
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3716-3718
Interval temporel
est une
instance
de
FiscalYearFn
AutonomousAgent
la
dur
�� de
interval temporel
est 1
YearDuration
(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