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
measuringListDuration
Sigma KEE - measuringListDuration
measuringListDuration
appearance as argument number 1
(
domain
measuringListDuration
1
MeasuringList
)
Weather.kif 1874-1874
Le nombre 1 argument de
measuringListDuration
est une
instance
de
MeasuringList
(
domain
measuringListDuration
2
TimeDuration
)
Weather.kif 1875-1875
Le nombre 2 argument de
measuringListDuration
est une
instance
de
dur�e temporel
(
instance
measuringListDuration
BinaryPredicate
)
Weather.kif 1876-1876
measuringListDuration
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
documentation
ChineseLanguage
measuringListDuration
"
measuringListDuration
是一个 (二元关系)
BinaryRelation
。 (measuringListDuration ?LIST ?DURATION) ?DURATION 是串列 ?LIST (
MeasuringList
) 上所有(量度过程)
Measuring
Process
es 从开始到结束的(持续时间)
TimeDuration
。")
Weather.kif 1870-1872
(
documentation
EnglishLanguage
measuringListDuration
"
measuringListDuration
is a
BinaryRelation
. (measuringListDuration ?LIST ?DURATION) ?DURATION is the
TimeDuration
for all the
Measuring
Process
contained in ?LIST,
MeasuringList
, take to finish.")
Weather.kif 1866-1868
(
format
ChineseLanguage
measuringListDuration
"(量度)
Measuring
串列 list %1 持续了%2 那么久的时间")
Weather.kif 1873-1873
(
format
EnglishLanguage
measuringListDuration
"The
Measuring
for list %1 takes %2.")
Weather.kif 1869-1869
(
termFormat
ChineseLanguage
measuringListDuration
"量度串列持续时间")
domainEnglishFormat.kif 10400-10400
(
termFormat
EnglishLanguage
measuringListDuration
"measuring list duration")
domainEnglishFormat.kif 10399-10399
antecedent
(=>
(
measuringListDuration
?LIST ?DURATION)
(
exists
(?T)
(
and
(
equal
?T
(
TimeIntervalFn
(
BeginFn
(
WhenFn
(
FirstFn
?LIST)))
(
EndFn
(
WhenFn
(
LastFn
?LIST)))))
(
duration
?T ?DURATION))))
Weather.kif 1878-1886
measuringListDuration
MeasuringList
and
dur�e temporel
interval temporel
interval temporel
est
intervale
entre le
d
�but de
temps
d'existence de
FirstFn
MeasuringList
et la
fin
de
temps
d'existence de
LastFn
MeasuringList
la
dur
�� de
interval temporel
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 2223-2240
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 2328-2345
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 2293-2310
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 2258-2275
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 1904-1921
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