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
The number 1 argument of
unit measuring performance
is an
instance
of
computer component
(
domain
unitMeasuringPerformance
2
UnitOfMeasure
)
QoSontology.kif 840-840
The number 2 argument of
unit measuring performance
is an
instance
of
unit of measure
(
instance
unitMeasuringPerformance
BinaryPredicate
)
QoSontology.kif 838-838
unit measuring performance
is an
instance
of
binary predicate
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
If
a time position
is
monitor
component data
a symbolic string
for
a real number
and
another time position
component
dataID
a kind of computer component
for
another computer component
with
an unit of measure
and
the symbolic string
,
then there exists
a measuring performance
such that
the measuring performance
is an
instance
of
measuring performance
and
the unit of measure
is an
unit
measuring performance of
the other computer component
and
the measuring performance
exists
during
the time position
and
the measuring performance
is
performance
result
the other computer component
for
the real number
(=>
(
componentDataID
?Time ?Component ?Instance ?Unit ?Number)
(
unitMeasuringPerformance
?Instance ?Unit))
QoSontology.kif 911-913
If
a time position
component
dataID
a kind of computer component
for
another computer component
with
an unit of measure
and
a symbolic string
,
then
the unit of measure
is an
unit
measuring performance of
the other computer component
(=>
(
instance
?CPU
CPU
)
(
unitMeasuringPerformance
?CPU
InstructionsPerSecond
))
QoSontology.kif 87-89
If
a computer component
is an
instance
of
CPU
,
then
instructions per second
is an
unit
measuring performance of
the computer component
(=>
(
instance
?Component
ComputerComponent
)
(
exists
(?Unit)
(
unitMeasuringPerformance
?Component ?Unit)))
QoSontology.kif 820-823
If
a computer component
is an
instance
of
computer component
,
then there exists
an unit of measure
such that
the unit of measure
is an
unit
measuring performance of
the computer component
(=>
(
instance
?HardDrive
HardDiskDrive
)
(
unitMeasuringPerformance
?HardDrive
BitsPerSecond
))
QoSontology.kif 847-849
If
a computer component
is an
instance
of
hard disk drive
,
then
bits per second
is an
unit
measuring performance of
the computer component
(=>
(
instance
?NA
NetworkAdapter
)
(
unitMeasuringPerformance
?NA
PacketsPerSecond
))
QoSontology.kif 853-855
If
a computer component
is an
instance
of
network adapter
,
then
packets per second
is an
unit
measuring performance of
the computer component
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