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
O argumento numero 1 de
bandwidth
e' uma
instancia
de
ComputerNetwork
(
domain
bandwidth
2
FunctionQuantity
)
QoSontology.kif 1054-1054
O argumento numero 2 de
bandwidth
e' uma
instancia
de
Funcao de Quantidade
(
instance
bandwidth
BinaryPredicate
)
QoSontology.kif 1052-1052
bandwidth
e' uma
instancia
de
Predicado Binario
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
ComputerNetwork
e' uma
instancia
de
Network2G
bandwidth
ComputerNetwork
and
Numero Real
BitsPerSecond
(s)
Numero Real
e'
menos
que 40000
(=>
(
and
(
instance
?N
Network3G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 200000))
ComputingBrands.kif 1288-1293
ComputerNetwork
e' uma
instancia
de
Network3G
bandwidth
ComputerNetwork
and
Numero Real
BitsPerSecond
(s)
Numero Real
e'
menos
que 200000
(=>
(
and
(
instance
?N
Network4G
)
(
bandwidth
?N
(
MeasureFn
?M
(
GigaFn
BitsPerSecond
))))
(
lessThan
?M 1))
ComputingBrands.kif 1335-1340
ComputerNetwork
e' uma
instancia
de
Network4G
bandwidth
ComputerNetwork
and
Numero Real
1
bilhao
BitsPerSecond
s (s)
Numero Real
e'
menos
que 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