TreeView Knowledge Base Browser - bandwidth

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 BitsPerSeconds(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