| BitsPerSecond | |
| appearance as argument number 1 |
|
|
| (documentation BitsPerSecond EnglishLanguage "The measurement of the speed of data transfer in a communications system.") | QoSontology.kif 237-238 | |
| (instance BitsPerSecond CompositeUnitOfMeasure) | QoSontology.kif 236-236 | instance BitsPerSecond and CompositeUnitOfMeasure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BitsPerSecond "每秒位数") | domainEnglishFormat.kif 11173-11173 | |
| (termFormat ChineseTraditionalLanguage BitsPerSecond "每秒位數") | domainEnglishFormat.kif 11172-11172 | |
| (termFormat EnglishLanguage BitsPerSecond "bits per second") | domainEnglishFormat.kif 11171-11171 |
| antecedent |
|
|
| (=> (equal ?MEASURE (MeasureFn ?NUMBER BitsPerSecond)) (instance ?MEASURE TimeDependentQuantity)) |
QoSontology.kif 240-242 |
| consequent |
|
|
| (=> (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 | |
| (=> (instance ?HardDrive HardDiskDrive) (unitMeasuringPerformance ?HardDrive BitsPerSecond)) |
QoSontology.kif 845-847 |
|
|
|