Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
measuringListInterval
Sigma KEE - measuringListInterval
measuringListInterval
appearance as argument number 1
(
domain
measuringListInterval
1
MeasuringList
)
Weather.kif 3180-3180
The number 1 argument of
measuring list interval
is an
instance
of
measuring list
(
domain
measuringListInterval
2
TimeDuration
)
Weather.kif 3181-3181
The number 2 argument of
measuring list interval
is an
instance
of
time duration
(
instance
measuringListInterval
BinaryPredicate
)
Weather.kif 3182-3182
measuring list interval
is an
instance
of
binary predicate
appearance as argument number 2
(
documentation
ChineseLanguage
measuringListInterval
"
measuringListInterval
是一个（二元关系）
BinaryRelation
。(measuringListInterval ?LIST ?DUR) ?DUR 是串列 ?LIST (
MeasuringList
) 上每个（量度过程）
Measuring
Process
从开始到结束的(持续时间)
TimeDuration
。")
Weather.kif 3176-3178
(
documentation
EnglishLanguage
measuringListInterval
"
measuringListInterval
is a
BinaryRelation
. (measuringListInterval ?LIST ?DUR) ?DUR is the
TimeDuration
for each
Measuring
Process
contained in the ?LIST,
MeasuringList
, takes from when it begins till when it ends.")
Weather.kif 3171-3174
(
format
ChineseLanguage
measuringListInterval
"（量度）
Measuring
串列 %1 在 %2 的时间间隔发生")
Weather.kif 3179-3179
(
format
EnglishLanguage
measuringListInterval
"The
Measuring
for list %1 occurs at %2 interval.")
Weather.kif 3175-3175
(
termFormat
ChineseLanguage
measuringListInterval
"量度串列时间间隔")
domainEnglishFormat.kif 10403-10403
(
termFormat
EnglishLanguage
measuringListInterval
"measuring list interval")
domainEnglishFormat.kif 10402-10402
antecedent
(=>
(
and
(
measuringListInterval
?LIST ?DUR)
(
inList
?M ?LIST))
(
duration
(
WhenFn
?M) ?DUR))
Weather.kif 3184-3188
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
consequent
(=>
(
equal
?SPEED
(
Mean10MinutesWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
10
MinuteDuration
))
(
equal
120
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 3547-3564
If
equal
a function quantity
and
Mean10MinutesWindSpeedFn
for
a time interval
in region
a geographic area
,
then there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
measuring surface wind speed list
and The
eventLocated
for
the entity
is
the geographic area
and The
Measuring
for list
the entity
occurs at 5
second duration
(s) interval. and The
Measuring
for list
the entity
takes 10
minute duration
(s). and
equal
120 and
length
of
the entity
and
the other entity
is the
result
of
the entity
and
equal
the third entity
and
PhysicalQuantityToNumberFn
returns the numberic values of a list of
the other entity
and
equal
the function quantity
and the
average
of the numbers in
the third entity
the fourth entity
(s) holds
during
the time interval
(=>
(
equal
?SPEED
(
Mean1MinuteWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
1
MinuteDuration
))
(
equal
12
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 3652-3669
If
equal
a function quantity
and
Mean1MinuteWindSpeedFn
for
a time interval
in region
a geographic area
,
then there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
measuring surface wind speed list
and The
eventLocated
for
the entity
is
the geographic area
and The
Measuring
for list
the entity
occurs at 5
second duration
(s) interval. and The
Measuring
for list
the entity
takes 1
minute duration
(s). and
equal
12 and
length
of
the entity
and
the other entity
is the
result
of
the entity
and
equal
the third entity
and
PhysicalQuantityToNumberFn
returns the numberic values of a list of
the other entity
and
equal
the function quantity
and the
average
of the numbers in
the third entity
the fourth entity
(s) holds
during
the time interval
(=>
(
equal
?SPEED
(
Mean2MinutesWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
2
MinuteDuration
))
(
equal
24
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 3617-3634
If
equal
a function quantity
and
Mean2MinutesWindSpeedFn
for
a time interval
in region
a geographic area
,
then there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
measuring surface wind speed list
and The
eventLocated
for
the entity
is
the geographic area
and The
Measuring
for list
the entity
occurs at 5
second duration
(s) interval. and The
Measuring
for list
the entity
takes 2
minute duration
(s). and
equal
24 and
length
of
the entity
and
the other entity
is the
result
of
the entity
and
equal
the third entity
and
PhysicalQuantityToNumberFn
returns the numberic values of a list of
the other entity
and
equal
the function quantity
and the
average
of the numbers in
the third entity
the fourth entity
(s) holds
during
the time interval
(=>
(
equal
?SPEED
(
Mean3MinutesWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
5
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
2
MinuteDuration
))
(
equal
36
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 3582-3599
If
equal
a function quantity
and
Mean3MinutesWindSpeedFn
for
a time interval
in region
a geographic area
,
then there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
measuring surface wind speed list
and The
eventLocated
for
the entity
is
the geographic area
and The
Measuring
for list
the entity
occurs at 5
second duration
(s) interval. and The
Measuring
for list
the entity
takes 2
minute duration
(s). and
equal
36 and
length
of
the entity
and
the other entity
is the
result
of
the entity
and
equal
the third entity
and
PhysicalQuantityToNumberFn
returns the numberic values of a list of
the other entity
and
equal
the function quantity
and the
average
of the numbers in
the third entity
the fourth entity
(s) holds
during
the time interval
(=>
(
equal
?SPEED
(
Mean3SecondWindSpeedFn
?PLACE ?TIME))
(
holdsDuring
?TIME
(
exists
(?MLIST ?RLIST ?NLIST ?UNIT)
(
and
(
instance
?MLIST
MeasuringSurfaceWindSpeedList
)
(
locationMeasuringList
?MLIST ?PLACE)
(
measuringListInterval
?MLIST
(
MeasureFn
0.25
SecondDuration
))
(
measuringListDuration
?MLIST
(
MeasureFn
3
SecondDuration
))
(
equal
12
(
ListLengthFn
?MLIST))
(
measuringResult
?MLIST ?RLIST)
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?RLIST))
(
equal
?SPEED
(
MeasureFn
(
AverageFn
?NLIST) ?UNIT))))))
Weather.kif 3228-3245
If
equal
a function quantity
and
Mean3SecondWindSpeedFn
for
a time interval
in region
a geographic area
,
then there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
measuring surface wind speed list
and The
eventLocated
for
the entity
is
the geographic area
and The
Measuring
for list
the entity
occurs at 0.25
second duration
(s) interval. and The
Measuring
for list
the entity
takes 3
second duration
(s). and
equal
12 and
length
of
the entity
and
the other entity
is the
result
of
the entity
and
equal
the third entity
and
PhysicalQuantityToNumberFn
returns the numberic values of a list of
the other entity
and
equal
the function quantity
and the
average
of the numbers in
the third entity
the fourth entity
(s) holds
during
the time interval
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
