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
Die Zahl 1 Argument von
duration
ist ein
fall
von
TimeInterval
%n{nicht}
(
domain
duration
2
TimeDuration
)
Merge.kif 7903-7903
Die Zahl 2 Argument von
duration
ist ein
fall
von
TimeDuration
%n{nicht}
(
instance
duration
BinaryPredicate
)
Merge.kif 7900-7900
duration
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
duration
TotalValuedRelation
)
Merge.kif 7901-7901
duration
ist ein
fall
von
TotalValuedRelation
%n{nicht}
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
Wenn
ADHD
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
ADHD
ist ein
attribut
von
** AutonomousAgent
nicht und
** AutonomousAgent
ist gleich
** ** AutonomousAgent
nicht und
Process
ist ein
fall
von
Class
%n{nicht} und
** Process
ist ein
fall
von
** Class
%n{nicht} und
** Class
ist eine
teilkategorie
von
IntentionalPsychologicalProcess
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** Process
ist
TimeDuration
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** TimeDuration
%n{nicht},
dann die Aussage
** ** TimeDuration
ist
groesserAls
** TimeDuration
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
Wenn
entity
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
** ** Entity
ist ein
fall
von
ChronicDisease
%n{nicht} und
dauer
von
** TimeInterval
ist
RealNumber
%n{nicht},
dann
** RealNumber
ist
groesserAls
3
MonthDuration
(s) %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
DrawingACheck
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist ein
fall
von
ProcessingACheck
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** Process
Time %n{nicht} und die
zeit
des Bestehens von
** ** Process
ist gleich
** ** Process
Time %n{nicht} und
** Process
Time
schliesst
** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** ** Process
Time zeitlich an und
dauer
von
** ** TimeInterval
ist
RealNumber
MonthDuration
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAls
6 %n{nicht}
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
Wenn
Agreement
ist ein
fall
von
BankTermLoan
%n{nicht} und
agreementPeriod
** Agreement
and
TimeInterval
und
dauer
von
** TimeInterval
ist
RealNumber
YearDuration
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
1 %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
MeasuringBreathing
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Object
ist ein
fall
von
Lung
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** TimeInterval
geschieht
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
dauer
von
** TimeInterval
ist
MinuteDuration
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
entity
um
** AutonomousAgent
kennt
breathingRate
** Object
,
** TimeInterval
and
** entity
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?MONTH
Month
)
(
duration
?MONTH
(
MeasureFn
?NUMBER
DayDuration
)))
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MONTH
Day
)) ?NUMBER))
Merge.kif 9463-9467
Wenn
TimeInterval
ist ein
fall
von
Month
%n{nicht} und
dauer
von
** TimeInterval
ist
Integer
DayDuration
(s) %n{nicht},
dann die Zahl
Faellen
in
Aufspaltung
von
** TimeInterval
auf
Day
s ist gleich
** Integer
%n{nicht}
(=>
(
and
(
instance
?P
Passover
)
(
duration
?P
(
MeasureFn
?N
DayDuration
)))
(
or
(
equal
?N 7)
(
equal
?N 8)))
Media.kif 611-617
Wenn
TimeInterval
ist ein
fall
von
Passover
%n{nicht} und
dauer
von
** TimeInterval
ist
RealNumber
DayDuration
(s) %n{nicht},
dann
** RealNumber
ist gleich 7 %n{nicht} oder
** RealNumber
ist gleich 8 %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
SpeakingAtAFasterRate
%n{nicht} und
** Process
ist ein
fall
von
SpeakingAtASlowerRate
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfDuration
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
enthaelt Informationen ueber
Proposition
und
** ** Process
enthaelt Informationen ueber
** Proposition
und
dauer
von die
zeit
des Bestehens von
** Process
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
SpeakingAShortUtterance
%n{nicht} und
** Physical
ist ein
fall
von
SpeakingALongUtterance
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfDuration
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** Physical
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und
dauer
von die
zeit
des Bestehens von
** ** Physical
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
TimePeriod
%n{nicht} und
dauer
von
** TimeInterval
ist
RealNumber
MinuteDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAls
5.0 %n{nicht} und
Entity
ist ein
fall
von
Human
%n{nicht} und es gibt nicht
Process
um
** Process
ist ein
fall
von
Breathing
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht},
dann die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
Death
%n{nicht} und
** Entity
erfaehrt
** ** entity
%n{nicht} und
** TimeInterval
schliesst
die
zeit
des Bestehens von
** ** entity
zeitlich an hat die modale Kraft von
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
Wenn
TimePoint
ist ein
fall
von
TimePoint
%n{nicht} und
** TimePoint
ist ein
fall
von
TimePoint
%n{nicht} und
TimeInterval
ist gleich
abstand
zwischen
** TimePoint
und
** ** TimePoint
%n{nicht} und
dauer
von
** TimeInterval
ist
TimeDuration
%n{nicht},
dann
** TimeInterval
ist gleich
TimePeriodFn
** TimePoint
and
** TimeDuration
%n{nicht}
(=>
(
and
(
statementPeriod
?Statement ?Period)
(
duration
?Period ?Duration))
(
equal
?Duration
MonthDuration
))
FinancialOntology.kif 4064-4068
Wenn
statementPeriod
BankStatement
and
TimeInterval
und
dauer
von
** TimeInterval
ist
TimeDuration
%n{nicht},
dann
** TimeDuration
ist gleich
MonthDuration
%n{nicht}
consequent
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
duration
?INT ?DUR))
Weather.kif 1975-1980
Wenn
TimeInterval
ist ein
Mitglied
von
ConsecutiveTimeIntervalList
und
** ConsecutiveTimeIntervalList
ist gleich
TimeIntervalListFn
** TimeInterval
and
TimeDuration
%n{nicht},
dann
dauer
von
** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Insomnia
%n{nicht} und
CognitiveAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
** Process
,
TimeDuration
, and und
** TimeDuration
2 um
** ** Process
ist ein
fall
von
Sleeping
%n{nicht} und
** CognitiveAgent
erfaehrt
** ** Process
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** TimeDuration
%n{nicht} und
** CognitiveAgent
wuenscht
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** TimeDuration
2 %n{nicht} und
** TimeDuration
2 ist
groesserAls
** TimeDuration
%n{nicht} %n{nicht}
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
instance
?Y
LeapYear
))
(
duration
?MONTH
(
MeasureFn
29
DayDuration
)))
Merge.kif 9073-9078
Wenn
TimeInterval
ist ein
fall
von der
monat
February
%n{nicht} und
Entity
ist ein
fall
von
** Entity
EAR %n{nicht} und
** Entity
ist ein
fall
von
LeapYear
%n{nicht},
dann
dauer
von
** TimeInterval
ist 29
DayDuration
(s) %n{nicht}
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
not
(
instance
?Y
LeapYear
)))
(
duration
?MONTH
(
MeasureFn
28
DayDuration
)))
Merge.kif 9066-9071
Wenn
TimeInterval
ist ein
fall
von der
monat
February
%n{nicht} und
Entity
ist ein
fall
von
** Entity
EAR %n{nicht} und
** Entity
ist ein
fall
von
LeapYear
nicht,
dann
dauer
von
** TimeInterval
ist 28
DayDuration
(s) %n{nicht}
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7524-7528
Wenn
TimePoint
ist ein
fall
von
TimePoint
%n{nicht} und das
alter
von
Physical
ist
TimeDuration
%n{nicht} haelt
waehrend
** TimePoint
%n{nicht},
dann
dauer
von
abstand
zwischen der
anfang
von die
zeit
des Bestehens von
** Physical
und
** TimePoint
ist
** TimeDuration
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
Year
%n{nicht} und
** TimeInterval
ist ein
fall
von
EasterSunday
%n{nicht} und
** TimeInterval
ist ein
fall
von
AscensionThursday
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** ** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist 40
DayDuration
(s) %n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
Year
%n{nicht} und
** TimeInterval
ist ein
fall
von
EasterSunday
%n{nicht} und
** TimeInterval
ist ein
fall
von
PalmSunday
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** ** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist 8
DayDuration
(s) %n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
Year
%n{nicht} und
** TimeInterval
ist ein
fall
von
EasterSunday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Pentecost
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** ** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist 50
DayDuration
(s) %n{nicht}
(=>
(
and
(
measuringListInterval
?LIST ?DUR)
(
inList
?M ?LIST))
(
duration
(
WhenFn
?M) ?DUR))
Weather.kif 1860-1864
Wenn
measuringListInterval
MeasuringList
and
TimeDuration
und
Physical
ist ein
Mitglied
von
** MeasuringList
,
dann
dauer
von die
zeit
des Bestehens von
** Physical
ist
** TimeDuration
%n{nicht}
(=>
(
and
(
recordingLength
?R ?T)
(
instance
?R
AudioRecording
)
(
instance
?L
Listening
)
(
patient
?L ?R))
(
duration
(
WhenFn
?L) ?T))
Music.kif 118-124
Wenn
recordingLength
Recording
and
TimeDuration
und
** Recording
ist ein
fall
von
AudioRecording
%n{nicht} und
Process
ist ein
fall
von
Listening
%n{nicht} und
** Recording
ist ein
patient
von
** Process
%n{nicht},
dann
dauer
von die
zeit
des Bestehens von
** Process
ist
** TimeDuration
%n{nicht}
(=>
(
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
Wenn
rentalPrice
** Physical
,
FunctionQuantity
,
CognitiveAgent
and
PricingScheme
und
** FunctionQuantity
ist gleich
PerFn
CurrencyMeasure
and das
mass
von
RealNumber
ist
UnitOfMeasure
%n{nicht} %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfDuration
%n{nicht} und
Entity
ist ein
direkter
fall von
** Physical
und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
besteht
waehrend
** RealNumber
INT %n{nicht},
dann fuer alle
** TimeInterval
wenn es gibt
** RealNumber
um
** RealNumber
INT geschieht
waehrend
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
dauer
von
** ** TimeInterval
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
endet an
** CognitiveAgent
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
(=>
(
and
(
responseTime
?Request ?Time)
(
computerResponseTo
?Response ?Request))
(
duration
(
WhenFn
?Response) ?Time))
QoSontology.kif 1759-1763
Wenn
responseTime
UserRequest
and
TimeDuration
und
computerResponseTo
ComputerResponse
and
** UserRequest
,
dann
dauer
von die
zeit
des Bestehens von
** ComputerResponse
ist
** TimeDuration
%n{nicht}
(=>
(
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
Wenn
startupTimeDelay
ComputerProgram
and
TimeDuration
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
TimeInterval
%n{nicht} und
Physical
ist ein
fall
von
ComputerProcess
%n{nicht} und die
zeit
des Bestehens von
** Physical
ist gleich
** TimeInterval
%n{nicht} und
** TimeInterval
schliesst
** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
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
Wenn
subjectiveAttribute
AutonomousAgent
,
Quick
and
** AutonomousAgent
und
subjectiveAttribute
** AutonomousAgent
,
Slow
and
** ** AutonomousAgent
und
Process
ist ein
fall
von
Class
%n{nicht} und
** Process
ist ein
fall
von
** Class
%n{nicht} und
** Class
ist eine
teilkategorie
von
Process
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht},
dann
UnitOfMeasure
ist ein
fall
von
UnitOfDuration
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** Process
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Aufspaltung
von
TimeInterval
auf
** TimeInterval
TYPEs ist gleich
** ** TimeInterval
%n{nicht},
dann fuer alle
** TimeInterval
und
** TimeInterval
wenn
** ** TimeInterval
ist ein
fall
von
** TimeInterval
TYPE %n{nicht} und
** ** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht},
dann es gibt
TimeDuration
um
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht} und
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3744-3746
Wenn
TimeInterval
ist gleich
FiscalYearStartingFn
AutonomousAgent
and
** Year
%n{nicht},
dann
dauer
von
** TimeInterval
ist 1
YearDuration
(s) %n{nicht}
(=>
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
duration
?TIME
(
MeasureFn
2
MinuteDuration
)))
Weather.kif 2019-2023
Wenn
List
ist gleich
Mean3SecondWindSpeedListFn
GeographicArea
and
TimeInterval
%n{nicht},
dann
dauer
von
** TimeInterval
ist 2
MinuteDuration
(s) %n{nicht}
(=>
(
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
Wenn es gibt
TimeInterval
und
** TimeInterval
um
dependencyDelay
ComputerProgram
and
TimeDuration
und
dependencyType
** ComputerProgram
and
ShutdownBlock
und
hasDependency
** ComputerProgram
and
** ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
und
** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** TimeInterval
beendet
** TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und der
anfang
von
** ** TimeInterval
ist gleich das
ende
von
** ** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
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
Wenn es gibt
TimeInterval
und
** TimeInterval
um
dependencyDelay
ComputerProgram
and
TimeDuration
und
dependencyType
** ComputerProgram
and
StartupBlock
und
hasDependency
** ComputerProgram
and
** ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
und
** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
** TimeInterval
%n{nicht} und das
ende
von
** ** TimeInterval
ist gleich der
anfang
von
** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
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
Wenn
** Process
gescheit
alle
TimeDuration
,
dann fuer alle
TimeInterval
wenn
dauer
von
** TimeInterval
ist
** TimeDuration
%n{nicht},
dann es gibt
TimePosition
um
** TimePosition
ist ein
teil
von
** TimeInterval
%n{nicht} und es gibt
entity
um
** entity
ist ein
fall
von
** Process
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
1
DecadeDuration
)))
Merge.kif 8770-8772
Wenn
TimeInterval
ist ein
fall
von
Decade
%n{nicht},
dann
dauer
von
** TimeInterval
ist 1
DecadeDuration
(s) %n{nicht}
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
10
YearDuration
)))
Merge.kif 8774-8776
Wenn
TimeInterval
ist ein
fall
von
Decade
%n{nicht},
dann
dauer
von
** TimeInterval
ist 10
YearDuration
(s) %n{nicht}
(=>
(
instance
?DAY
Day
)
(
duration
?DAY
(
MeasureFn
1
DayDuration
)))
Merge.kif 9236-9238
Wenn
TimeInterval
ist ein
fall
von
Day
%n{nicht},
dann
dauer
von
** TimeInterval
ist 1
DayDuration
(s) %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
FlashFlooding
%n{nicht},
dann es gibt
** Process
und
RealNumber
um
** ** Process
ist ein
fall
von
WaterMotion
%n{nicht} und
** ** Process
verursacht
** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
schliesst
die
zeit
des Bestehens von
** Process
zeitlich an und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** RealNumber
HourDuration
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
6.0 %n{nicht}
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3716-3718
Wenn
TimeInterval
ist ein
fall
von
FiscalYearFn
AutonomousAgent
%n{nicht},
dann
dauer
von
** TimeInterval
ist 1
YearDuration
(s) %n{nicht}
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