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
bandwidth
の数値 1 引数は
ComputerNetwork
の
instance
では %n
(
domain
bandwidth
2
FunctionQuantity
)
QoSontology.kif 1054-1054
bandwidth
の数値 2 引数は
関数量
の
instance
では %n
(
instance
bandwidth
BinaryPredicate
)
QoSontology.kif 1052-1052
bandwidth
は
2進述語
の
instance
では %n
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
は
2G ネットワーク
の
instance
では %n
bandwidth
ComputerNetwork
and
実数
の
BitsPerSecond
(s)
実数
は 40000 より
less
では %n
(=>
(
and
(
instance
?N
Network3G
)
(
bandwidth
?N
(
MeasureFn
?M
BitsPerSecond
)))
(
lessThan
?M 200000))
ComputingBrands.kif 1288-1293
ComputerNetwork
は
3G
の
instance
では %n
bandwidth
ComputerNetwork
and
実数
の
BitsPerSecond
(s)
実数
は 200000 より
less
では %n
(=>
(
and
(
instance
?N
Network4G
)
(
bandwidth
?N
(
MeasureFn
?M
(
GigaFn
BitsPerSecond
))))
(
lessThan
?M 1))
ComputingBrands.kif 1335-1340
ComputerNetwork
は
4G ネットワーク
の
instance
では %n
bandwidth
ComputerNetwork
and
実数
の 1 の
billion
BitsPerSecond
s(s)
実数
は 1 より
less
では %n
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