| BitsPerSecond | |
| appearance as argument number 1 |
|
|
| (documentation BitsPerSecond EnglishLanguage "The measurement of the speed of data transfer in a communications system.") | QoSontology.kif 240-241 | |
| (instance BitsPerSecond CompositeUnitOfMeasure) | QoSontology.kif 239-239 | BitsPerSecond は CompositeUnitOfMeasure の instance では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BitsPerSecond "每秒位数") | domainEnglishFormat.kif 11240-11240 | |
| (termFormat ChineseTraditionalLanguage BitsPerSecond "每秒位數") | domainEnglishFormat.kif 11239-11239 | |
| (termFormat EnglishLanguage BitsPerSecond "bits per second") | domainEnglishFormat.kif 11238-11238 |
| 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 |
|
| (=> (equal ?MEASURE (MeasureFn ?NUMBER BitsPerSecond)) (instance ?MEASURE TimeDependentQuantity)) |
QoSontology.kif 243-245 |
| consequent |
|
|
| (=> (instance ?HardDrive HardDiskDrive) (unitMeasuringPerformance ?HardDrive BitsPerSecond)) |
QoSontology.kif 956-958 |
|
|
|