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
Le nombre 1 argument de
bandwidth
est une
instance
de
ComputerNetwork
(
domain
bandwidth
2
FunctionQuantity
)
QoSontology.kif 1054-1054
Le nombre 2 argument de
bandwidth
est une
instance
de
function de quantit�
(
instance
bandwidth
BinaryPredicate
)
QoSontology.kif 1052-1052
bandwidth
est une
instance
de
pr�dicat binaire
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
est une
instance
de
Network2G
bandwidth
ComputerNetwork
and
nombre r�el
BitsPerSecond
(s)
nombre r�el
est
moins
que 40000
(=>
(
and
(
instance
?N
Network3G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 200000))
ComputingBrands.kif 1288-1293
ComputerNetwork
est une
instance
de
Network3G
bandwidth
ComputerNetwork
and
nombre r�el
BitsPerSecond
(s)
nombre r�el
est
moins
que 200000
(=>
(
and
(
instance
?N
Network4G
)
(
bandwidth
?N
(
MeasureFn
?M
(
GigaFn
BitsPerSecond
))))
(
lessThan
?M 1))
ComputingBrands.kif 1335-1340
ComputerNetwork
est une
instance
de
Network4G
bandwidth
ComputerNetwork
and
nombre r�el
1
billion
BitsPerSecond
s (s)
nombre r�el
est
moins
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