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 1796-1800
(
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 1790-1794
(
domain
measuringResult
1
MeasuringList
)
Weather.kif 1802-1802
measuringResult
の数値 1 引数は
MeasuringList
の
instance
では %n
(
domain
measuringResult
2
MeasuringResultList
)
Weather.kif 1803-1803
measuringResult
の数値 2 引数は
MeasuringResultList
の
instance
では %n
(
instance
measuringResult
BinaryPredicate
)
Weather.kif 1804-1804
measuringResult
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
measuringResult
"%2 是 %1 的(结果)
result
")
Weather.kif 1801-1801
(
format
EnglishLanguage
measuringResult
"%2 is the
result
of %1")
Weather.kif 1795-1795
(
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 1806-1811
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 2223-2240
関数量
は
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 2328-2345
関数量
は
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 2293-2310
関数量
は
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 2258-2275
関数量
は
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 1904-1921
関数量
は
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