BitsPerSecond |
appearance as argument number 1 |
(documentation BitsPerSecond EnglishLanguage "The measurement of the speed of data transfer in a communications system.") | QoSontology.kif 239-240 | |
(instance BitsPerSecond CompositeUnitOfMeasure) | QoSontology.kif 238-238 |
appearance as argument number 2 |
(termFormat ChineseLanguage BitsPerSecond "每秒位数") | domainEnglishFormat.kif 11231-11231 | |
(termFormat ChineseTraditionalLanguage BitsPerSecond "每秒位數") | domainEnglishFormat.kif 11230-11230 | |
(termFormat EnglishLanguage BitsPerSecond "bits per second") | domainEnglishFormat.kif 11229-11229 |
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 242-244 |
consequent |
(=> (instance ?HardDrive HardDiskDrive) (unitMeasuringPerformance ?HardDrive BitsPerSecond)) |
QoSontology.kif 847-849 |