Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BitsPerSecond(bits per second) |  | bits_per_second, bps |
| appearance as argument number 1 |
|
|
| (instance BitsPerSecond CompositeUnitOfMeasure) | QoSontology.kif 233-233 | Bits per second is an instance of composite unit of measure |
| (documentation BitsPerSecond EnglishLanguage "The measurement of the speed of data transfer in a communications system.") | QoSontology.kif 234-235 | Bits per second is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?N Network2G) (bandwidth ?N (MeasureFn ?M BitsPerSecond))) (lessThan ?M 40000)) |
ComputingBrands.kif 1243-1248 | If X is an instance of 2G network and Y bits per second(s) is a bandwidth of X, then Y is less than 40000 |
| (=> (and (instance ?N Network3G) (bandwidth ?N (MeasureFn ?M BitsPerSecond))) (lessThan ?M 200000)) |
ComputingBrands.kif 1288-1293 | If X is an instance of 3G network and Y bits per second(s) is a bandwidth of X, then Y is less than 200000 |
| (=> (and (instance ?N Network4G) (bandwidth ?N (MeasureFn ?M (GigaFn BitsPerSecond)))) (lessThan ?M 1)) |
ComputingBrands.kif 1335-1340 | If X is an instance of 4G network and Y 1 billion bits per seconds(s) is a bandwidth of X, then Y is less than 1 |
| (=> (equal ?MEASURE (MeasureFn ?NUMBER BitsPerSecond)) (instance ?MEASURE TimeDependentQuantity)) |
QoSontology.kif 237-239 | If equal X and Y bits per second(s), then X is an instance of time dependent quantity |
| consequent |
|
|
| (=> (instance ?HardDrive HardDiskDrive) (unitMeasuringPerformance ?HardDrive BitsPerSecond)) |
QoSontology.kif 943-945 | If X is an instance of hard disk drive, then bits per second is an unit measuring performance of X |
| statement |
|
|
|