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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1054-1054
(instance bandwidth BinaryPredicate) QoSontology.kif 1052-1052

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
(=>
    (and
        (instance ?N Network3G)
        (bandwidth ?N
            (MeasureFn ?M BitsPerSecond)))
    (lessThan ?M 200000))		 ComputingBrands.kif 1288-1293
(=>
    (and
        (instance ?N Network4G)
        (bandwidth ?N
            (MeasureFn ?M
                (GigaFn BitsPerSecond))))
    (lessThan ?M 1))		 ComputingBrands.kif 1335-1340


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