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 1060-1062
(domain bandwidth 1 ComputerNetwork) QoSontology.kif 1058-1058 The number 1 argument of bandwidth of is an instance of computer network
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1059-1059 The number 2 argument of bandwidth of is an instance of function quantity
(instance bandwidth BinaryPredicate) QoSontology.kif 1057-1057 bandwidth of is an instance of binary predicate

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

antecedent
-------------------------


(=>
    (and
        (instance ?N 2GNetwork)
        (bandwidth ?N ?M))
    (lessThan ?M
        (MeasureFn BitsPerSecond 40000)))
ComputingBrands.kif 1221-1225
(=>
    (and
        (instance ?N 3GNetwork)
        (bandwidth ?N ?M))
    (lessThan ?M
        (MeasureFn BitsPerSecond 200000)))
ComputingBrands.kif 1267-1271
(=>
    (and
        (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