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
measuringResult
Sigma KEE - measuringResult
measuringResult
appearance as argument number 1
(
documentation
measuringResult
ChineseLanguage
"
measuringResult
是一个 联系
MeasuringList
上一系列的(量度过程)
Measuring
Process
e 和它相关,在
MeasuringResultList
上的一系列(结果)
result
s 的(二元关系)Binaryrelation。 (measruingResult ?MLIST ?RLIST)的意思是(串列)
List
?RLIST 是 (量度串列)
Measuring
List
?MLIST 的(结果)
result
。")
Weather.kif 1779-1783
(
documentation
measuringResult
EnglishLanguage
"
measuringResult
is a Binaryrelation which associates a sequence of
Measuring
Process
es from the
MeasuringList
with the sequence of
result
s from its corresponding
MeasuringResultList
. (measruingResult ?MLIST ?RLIST) means that the
List
?RLIST is the
result
of the
List
of
Measuring
?MLIST.")
Weather.kif 1773-1777
(
domain
measuringResult
1
MeasuringList
)
Weather.kif 1785-1785
measuringResult
の数値 1 引数は
MeasuringList
の
instance
では %n
(
domain
measuringResult
2
MeasuringResultList
)
Weather.kif 1786-1786
measuringResult
の数値 2 引数は
MeasuringResultList
の
instance
では %n
(
instance
measuringResult
BinaryPredicate
)
Weather.kif 1787-1787
measuringResult
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
measuringResult
"%2 是 %1 的(结果)
result
")
Weather.kif 1784-1784
(
format
EnglishLanguage
measuringResult
"%2 is the
result
of %1")
Weather.kif 1778-1778
(
termFormat
ChineseLanguage
measuringResult
"量度结果")
domainEnglishFormat.kif 10415-10415
(
termFormat
EnglishLanguage
measuringResult
"measuring result")
domainEnglishFormat.kif 10414-10414
antecedent
(=>
(
and
(
measuringResult
?MLIST ?RLIST)
(
equal
?M
(
ListOrderFn
?MLIST ?N))
(
equal
?R
(
ListOrderFn
?RLIST ?N)))
(
result
?M ?R))
Weather.kif 1789-1794
measuringResult
MeasuringList
and
MeasuringResultList
工程
は
MeasuringList
の
エンティティー
element
と
equal
では %n
エンティティー
は
MeasuringResultList
の
エンティティー
element
と
equal
では %n
エンティティー
は
工程
の
result
では %n
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 2206-2223
関数量
は
Mean10MinutesWindSpeedFn
地理的地域
and
時間間隔
と
equal
では %n
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
MeasuringSurfaceWindSpeedList
の
instance
では %n
locationMeasuringList
エンティティー
and
地理的地域
measuringListInterval
エンティティー
and 5 の
SecondDuration
(s)
measuringListDuration
エンティティー
and 10 の
MinuteDuration
(s) 120 は
エンティティー
の
length
と
equal
では %n
measuringResult
エンティティー
and
エンティティー
エンティティー
は
PhysicalQuantityToNumberFn
エンティティー
と
equal
では %n
関数量
は
AverageFn
エンティティー
の
エンティティー
(s) と
equal
では %n は
時間間隔
の
during
holds %n{ない}
(=>
(
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 2311-2328
関数量
は
Mean1MinuteWindSpeedFn
地理的地域
and
時間間隔
と
equal
では %n
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
MeasuringSurfaceWindSpeedList
の
instance
では %n
locationMeasuringList
エンティティー
and
地理的地域
measuringListInterval
エンティティー
and 5 の
SecondDuration
(s)
measuringListDuration
エンティティー
and 1 の
MinuteDuration
(s) 12 は
エンティティー
の
length
と
equal
では %n
measuringResult
エンティティー
and
エンティティー
エンティティー
は
PhysicalQuantityToNumberFn
エンティティー
と
equal
では %n
関数量
は
AverageFn
エンティティー
の
エンティティー
(s) と
equal
では %n は
時間間隔
の
during
holds %n{ない}
(=>
(
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 2276-2293
関数量
は
Mean2MinutesWindSpeedFn
地理的地域
and
時間間隔
と
equal
では %n
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
MeasuringSurfaceWindSpeedList
の
instance
では %n
locationMeasuringList
エンティティー
and
地理的地域
measuringListInterval
エンティティー
and 5 の
SecondDuration
(s)
measuringListDuration
エンティティー
and 2 の
MinuteDuration
(s) 24 は
エンティティー
の
length
と
equal
では %n
measuringResult
エンティティー
and
エンティティー
エンティティー
は
PhysicalQuantityToNumberFn
エンティティー
と
equal
では %n
関数量
は
AverageFn
エンティティー
の
エンティティー
(s) と
equal
では %n は
時間間隔
の
during
holds %n{ない}
(=>
(
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 2241-2258
関数量
は
Mean3MinutesWindSpeedFn
地理的地域
and
時間間隔
と
equal
では %n
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
MeasuringSurfaceWindSpeedList
の
instance
では %n
locationMeasuringList
エンティティー
and
地理的地域
measuringListInterval
エンティティー
and 5 の
SecondDuration
(s)
measuringListDuration
エンティティー
and 2 の
MinuteDuration
(s) 36 は
エンティティー
の
length
と
equal
では %n
measuringResult
エンティティー
and
エンティティー
エンティティー
は
PhysicalQuantityToNumberFn
エンティティー
と
equal
では %n
関数量
は
AverageFn
エンティティー
の
エンティティー
(s) と
equal
では %n は
時間間隔
の
during
holds %n{ない}
(=>
(
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 1887-1904
関数量
は
Mean3SecondWindSpeedFn
地理的地域
and
時間間隔
と
equal
では %n
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
MeasuringSurfaceWindSpeedList
の
instance
では %n
locationMeasuringList
エンティティー
and
地理的地域
measuringListInterval
エンティティー
and 0.25 の
SecondDuration
(s)
measuringListDuration
エンティティー
and 3 の
SecondDuration
(s) 12 は
エンティティー
の
length
と
equal
では %n
measuringResult
エンティティー
and
エンティティー
エンティティー
は
PhysicalQuantityToNumberFn
エンティティー
と
equal
では %n
関数量
は
AverageFn
エンティティー
の
エンティティー
(s) と
equal
では %n は
時間間隔
の
during
holds %n{ない}
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