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
unitMeasuringPerformance
Sigma KEE - unitMeasuringPerformance
unitMeasuringPerformance
appearance as argument number 1
(
documentation
unitMeasuringPerformance
EnglishLanguage
"(
unitMeasuringPerformance
?COMPONENT ?UNIT) holds in case ?UNIT is an instance of
UnitOfMeasure
which is used to measure the performance of ?COMPONENT.")
QoSontology.kif 841-843
(
domain
unitMeasuringPerformance
1
ComputerComponent
)
QoSontology.kif 839-839
单位测量性能
的 1 数量 是
电脑组件
的
instance
(
domain
unitMeasuringPerformance
2
UnitOfMeasure
)
QoSontology.kif 840-840
单位测量性能
的 2 数量 是
测量单位
的
instance
(
instance
unitMeasuringPerformance
BinaryPredicate
)
QoSontology.kif 838-838
单位测量性能
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
unitMeasuringPerformance
"%2 %n 是 %1 的 unit 量测性能")
domainEnglishFormat.kif 2575-2575
(
format
ChineseTraditionalLanguage
unitMeasuringPerformance
"%2 %n 是 %1 的 unit 量測性能")
domainEnglishFormat.kif 2574-2574
(
format
EnglishLanguage
unitMeasuringPerformance
"%2 is %n an unit measuring performance of %1")
domainEnglishFormat.kif 2573-2573
(
termFormat
ChineseLanguage
unitMeasuringPerformance
"单位测量性能")
domainEnglishFormat.kif 60436-60436
(
termFormat
ChineseTraditionalLanguage
unitMeasuringPerformance
"單位測量性能")
domainEnglishFormat.kif 60435-60435
(
termFormat
EnglishLanguage
unitMeasuringPerformance
"unit measuring performance")
domainEnglishFormat.kif 60434-60434
consequent
(=>
(
and
(
monitorComponentData
?Time1 ?ID ?Number)
(
componentDataID
?Time2 ?Component ?Instance ?Unit ?ID))
(
exists
(?Event)
(
and
(
instance
?Event
MeasuringPerformance
)
(
unitMeasuringPerformance
?Instance ?Unit)
(
time
?Event ?Time1)
(
performanceResult
?Event ?Instance ?Number))))
QoSontology.kif 955-964
如果
时间位置
是 对于
实数
的
monitor
组件资料
符号串
和
另一个 时间位置
component
资料ID 对于 %3 跟 %4 和 %5 在一起,
然后 有存在
测量性能
这样
那个 测量性能
是
测量性能
的
instance
和
测量单位
是
电脑组件
的
unit
量测性能 和
那个 测量性能
在
那个 时间位置
是 存在 和
那个 测量性能
是 对于
那个 实数
的
performance
结果
那个 电脑组件
(=>
(
componentDataID
?Time ?Component ?Instance ?Unit ?Number)
(
unitMeasuringPerformance
?Instance ?Unit))
QoSontology.kif 911-913
如果
时间位置
component
资料ID 对于 %3 跟 %4 和 %5 在一起,
然后
测量单位
是
电脑组件
的
unit
量测性能
(=>
(
instance
?CPU
CPU
)
(
unitMeasuringPerformance
?CPU
InstructionsPerSecond
))
QoSontology.kif 87-89
如果
电脑组件
是
中央处理器
的
instance
,
然后
InstructionsPerSecond
是
那个 电脑组件
的
unit
量测性能
(=>
(
instance
?Component
ComputerComponent
)
(
exists
(?Unit)
(
unitMeasuringPerformance
?Component ?Unit)))
QoSontology.kif 820-823
如果
电脑组件
是
电脑组件
的
instance
,
然后 有存在
测量单位
这样
那个 测量单位
是
那个 电脑组件
的
unit
量测性能
(=>
(
instance
?HardDrive
HardDiskDrive
)
(
unitMeasuringPerformance
?HardDrive
BitsPerSecond
))
QoSontology.kif 847-849
如果
电脑组件
是
硬盘驱动器
的
instance
,
然后
每秒位数
是
那个 电脑组件
的
unit
量测性能
(=>
(
instance
?NA
NetworkAdapter
)
(
unitMeasuringPerformance
?NA
PacketsPerSecond
))
QoSontology.kif 853-855
如果
电脑组件
是
网络适配器
的
instance
,
然后
每秒数据包
是
那个 电脑组件
的
unit
量测性能
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