Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 1060-1062
(domain bandwidth 1 ComputerNetwork) QoSontology.kif 1058-1058 domain bandwidth, 1 and ComputerNetwork
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1059-1059 domain bandwidth, 2 and FunctionQuantity
(instance bandwidth BinaryPredicate) QoSontology.kif 1057-1057 instance bandwidth and BinaryPredicate

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 9781-9781
(termFormat ChineseTraditionalLanguage bandwidth "帶寬") domainEnglishFormat.kif 9780-9780
(termFormat EnglishLanguage bandwidth "bandwidth of") domainEnglishFormat.kif 9779-9779


        (instance ?N 2GNetwork)
        (bandwidth ?N ?M))
    (lessThan ?M
        (MeasureFn BitsPerSecond 40000)))
ComputingBrands.kif 1221-1225
        (instance ?N 3GNetwork)
        (bandwidth ?N ?M))
    (lessThan ?M
        (MeasureFn BitsPerSecond 200000)))
ComputingBrands.kif 1267-1271
        (instance ?N 4GNetwork)
        (bandwidth ?N ?M))
    (lessThan ?M
        (MeasureFn BitsPerSecond
            (GigaFn 1))))
ComputingBrands.kif 1313-1317

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners