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
measuringListInterval
Sigma KEE - measuringListInterval
measuringListInterval
appearance as argument number 1
(
domain
measuringListInterval
1
MeasuringList
)
Weather.kif 1856-1856
The number 1 argument of
measuring list interval
is an
instance
of
measuring list
(
domain
measuringListInterval
2
TimeDuration
)
Weather.kif 1857-1857
The number 2 argument of
measuring list interval
is an
instance
of
time duration
(
instance
measuringListInterval
BinaryPredicate
)
Weather.kif 1858-1858
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 1852-1854
(
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 1847-1850
(
format
ChineseLanguage
measuringListInterval
"(量度)
Measuring
串列 %1 在 %2 的时间间隔发生")
Weather.kif 1855-1855
(
format
EnglishLanguage
measuringListInterval
"The
Measuring
for list %1 occurs at %2 interval.")
Weather.kif 1851-1851
(
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 1860-1864
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 2223-2240
If
a function quantity
is
equal
to
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 120 is
equal
to
length
of
the entity
and
the other entity
is the
result
of
the entity
and
the third entity
is
equal
to
PhysicalQuantityToNumberFn
returns the numberic values of a list of
the other entity
and
the function quantity
is
equal
to 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 2328-2345
If
a function quantity
is
equal
to
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 12 is
equal
to
length
of
the entity
and
the other entity
is the
result
of
the entity
and
the third entity
is
equal
to
PhysicalQuantityToNumberFn
returns the numberic values of a list of
the other entity
and
the function quantity
is
equal
to 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 2293-2310
If
a function quantity
is
equal
to
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 24 is
equal
to
length
of
the entity
and
the other entity
is the
result
of
the entity
and
the third entity
is
equal
to
PhysicalQuantityToNumberFn
returns the numberic values of a list of
the other entity
and
the function quantity
is
equal
to 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 2258-2275
If
a function quantity
is
equal
to
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 36 is
equal
to
length
of
the entity
and
the other entity
is the
result
of
the entity
and
the third entity
is
equal
to
PhysicalQuantityToNumberFn
returns the numberic values of a list of
the other entity
and
the function quantity
is
equal
to 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 1904-1921
If
a function quantity
is
equal
to
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 12 is
equal
to
length
of
the entity
and
the other entity
is the
result
of
the entity
and
the third entity
is
equal
to
PhysicalQuantityToNumberFn
returns the numberic values of a list of
the other entity
and
the function quantity
is
equal
to 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