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
bandwidth
Sigma KEE - bandwidth
bandwidth
appearance as argument number 1
(
documentation
bandwidth
EnglishLanguage
"(
bandwidth
?NET ?BANDWIDTH) holds if ?BANDWIDTH is the amount of data which can be sent through an instance of a
ComputerNetwork
?NET.")
QoSontology.kif 1055-1057
(
domain
bandwidth
1
ComputerNetwork
)
QoSontology.kif 1053-1053
The number 1 argument of
bandwidth of
is an
instance
of
computer network
(
domain
bandwidth
2
FunctionQuantity
)
QoSontology.kif 1054-1054
The number 2 argument of
bandwidth of
is an
instance
of
function quantity
(
instance
bandwidth
BinaryPredicate
)
QoSontology.kif 1052-1052
bandwidth of
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
bandwidth
"%2 %n 是 %1 的
bandwidth
")
domainEnglishFormat.kif 248-248
(
format
ChineseTraditionalLanguage
bandwidth
"%2 %n 是 %1 的
bandwidth
")
domainEnglishFormat.kif 247-247
(
format
EnglishLanguage
bandwidth
"%2 is %n a
bandwidth
of %1")
domainEnglishFormat.kif 246-246
(
termFormat
ChineseLanguage
bandwidth
"带宽")
domainEnglishFormat.kif 9768-9768
(
termFormat
ChineseTraditionalLanguage
bandwidth
"帶寬")
domainEnglishFormat.kif 9767-9767
(
termFormat
EnglishLanguage
bandwidth
"bandwidth of")
domainEnglishFormat.kif 9766-9766
antecedent
(=>
(
and
(
instance
?N
Network2G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 40000))
ComputingBrands.kif 1243-1248
If
a computer network
is an
instance
of
2G network
and
a real number
bits per second
(s) is a
bandwidth
of
the computer network
,
then
the real number
is
less
than 40000
(=>
(
and
(
instance
?N
Network3G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 200000))
ComputingBrands.kif 1288-1293
If
a computer network
is an
instance
of
3G network
and
a real number
bits per second
(s) is a
bandwidth
of
the computer network
,
then
the real number
is
less
than 200000
(=>
(
and
(
instance
?N
Network4G
)
(
bandwidth
?N
(
MeasureFn
?M
(
GigaFn
BitsPerSecond
))))
(
lessThan
?M 1))
ComputingBrands.kif 1335-1340
If
a computer network
is an
instance
of
4G network
and
a real number
1
billion
bits per second
s(s) is a
bandwidth
of
the computer network
,
then
the real number
is
less
than 1
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