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 1852-1852
Le nombre 1 argument de
measuringListInterval
est une
instance
de
MeasuringList
(
domain
measuringListInterval
2
TimeDuration
)
Weather.kif 1853-1853
Le nombre 2 argument de
measuringListInterval
est une
instance
de
dur�e temporel
(
instance
measuringListInterval
BinaryPredicate
)
Weather.kif 1854-1854
measuringListInterval
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
documentation
ChineseLanguage
measuringListInterval
"
measuringListInterval
是一个(二元关系)
BinaryRelation
。(measuringListInterval ?LIST ?DUR) ?DUR 是串列 ?LIST (
MeasuringList
) 上每个(量度过程)
Measuring
Process
从开始到结束的(持续时间)
TimeDuration
。")
Weather.kif 1848-1850
(
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 1843-1846
(
format
ChineseLanguage
measuringListInterval
"(量度)
Measuring
串列 %1 在 %2 的时间间隔发生")
Weather.kif 1851-1851
(
format
EnglishLanguage
measuringListInterval
"The
Measuring
for list %1 occurs at %2 interval.")
Weather.kif 1847-1847
(
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 1856-1860
measuringListInterval
MeasuringList
and
dur�e temporel
physique
est un
membre
de
MeasuringList
la
dur
�� de
temps
d'existence de
physique
est
dur�e temporel
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 2219-2236
Function de quantit�
est
Mean10MinutesWindSpeedFn
secteur g�ographique
and
interval temporel
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
MeasuringSurfaceWindSpeedList
locationMeasuringList
entit�
and
secteur g�ographique
measuringListInterval
entit�
and 5
SecondDuration
(s)
measuringListDuration
entit�
and 10
MinuteDuration
(s) 120 est
longueur
de
entit�
measuringResult
entit�
and
entit�
entit�
est
PhysicalQuantityToNumberFn
entit�
function de quantit�
est
AverageFn
entit�
entit�
(s)
pendant
interval temporel
(=>
(
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 2324-2341
Function de quantit�
est
Mean1MinuteWindSpeedFn
secteur g�ographique
and
interval temporel
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
MeasuringSurfaceWindSpeedList
locationMeasuringList
entit�
and
secteur g�ographique
measuringListInterval
entit�
and 5
SecondDuration
(s)
measuringListDuration
entit�
and 1
MinuteDuration
(s) 12 est
longueur
de
entit�
measuringResult
entit�
and
entit�
entit�
est
PhysicalQuantityToNumberFn
entit�
function de quantit�
est
AverageFn
entit�
entit�
(s)
pendant
interval temporel
(=>
(
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 2289-2306
Function de quantit�
est
Mean2MinutesWindSpeedFn
secteur g�ographique
and
interval temporel
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
MeasuringSurfaceWindSpeedList
locationMeasuringList
entit�
and
secteur g�ographique
measuringListInterval
entit�
and 5
SecondDuration
(s)
measuringListDuration
entit�
and 2
MinuteDuration
(s) 24 est
longueur
de
entit�
measuringResult
entit�
and
entit�
entit�
est
PhysicalQuantityToNumberFn
entit�
function de quantit�
est
AverageFn
entit�
entit�
(s)
pendant
interval temporel
(=>
(
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 2254-2271
Function de quantit�
est
Mean3MinutesWindSpeedFn
secteur g�ographique
and
interval temporel
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
MeasuringSurfaceWindSpeedList
locationMeasuringList
entit�
and
secteur g�ographique
measuringListInterval
entit�
and 5
SecondDuration
(s)
measuringListDuration
entit�
and 2
MinuteDuration
(s) 36 est
longueur
de
entit�
measuringResult
entit�
and
entit�
entit�
est
PhysicalQuantityToNumberFn
entit�
function de quantit�
est
AverageFn
entit�
entit�
(s)
pendant
interval temporel
(=>
(
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 1900-1917
Function de quantit�
est
Mean3SecondWindSpeedFn
secteur g�ographique
and
interval temporel
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
MeasuringSurfaceWindSpeedList
locationMeasuringList
entit�
and
secteur g�ographique
measuringListInterval
entit�
and 0.25
SecondDuration
(s)
measuringListDuration
entit�
and 3
SecondDuration
(s) 12 est
longueur
de
entit�
measuringResult
entit�
and
entit�
entit�
est
PhysicalQuantityToNumberFn
entit�
function de quantit�
est
AverageFn
entit�
entit�
(s)
pendant
interval temporel
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