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
Die Zahl 1 Argument von
bandwidth
ist ein
fall
von
ComputerNetwork
%n{nicht}
(
domain
bandwidth
2
FunctionQuantity
)
QoSontology.kif 1054-1054
Die Zahl 2 Argument von
bandwidth
ist ein
fall
von
FunctionQuantity
%n{nicht}
(
instance
bandwidth
BinaryPredicate
)
QoSontology.kif 1052-1052
bandwidth
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
ComputerNetwork
ist ein
fall
von
Network2G
%n{nicht} und
bandwidth
** ComputerNetwork
and
RealNumber
BitsPerSecond
(s),
dann
** RealNumber
ist
kleinerAls
40000 %n{nicht}
(=>
(
and
(
instance
?N
Network3G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 200000))
ComputingBrands.kif 1288-1293
Wenn
ComputerNetwork
ist ein
fall
von
Network3G
%n{nicht} und
bandwidth
** ComputerNetwork
and
RealNumber
BitsPerSecond
(s),
dann
** RealNumber
ist
kleinerAls
200000 %n{nicht}
(=>
(
and
(
instance
?N
Network4G
)
(
bandwidth
?N
(
MeasureFn
?M
(
GigaFn
BitsPerSecond
))))
(
lessThan
?M 1))
ComputingBrands.kif 1335-1340
Wenn
ComputerNetwork
ist ein
fall
von
Network4G
%n{nicht} und
bandwidth
** ComputerNetwork
and
RealNumber
1
milliarde
BitsPerSecond
(s),
dann
** RealNumber
ist
kleinerAls
1 %n{nicht}
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