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