Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PacketsPerSecond(packets per second) |
| appearance as argument number 1 |
|
| (instance PacketsPerSecond CompositeUnitOfMeasure) | QoSontology.kif 241-241 | Packets per second is an instance of composite unit of measure |
| (documentation PacketsPerSecond EnglishLanguage "The rate or speed of Packet_Networks transferred in a second.") | QoSontology.kif 242-243 | Packets per second is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (equal ?MEASURE (MeasureFn ?NUMBER PacketsPerSecond)) (instance ?MEASURE TimeDependentQuantity)) |
QoSontology.kif 245-247 | If equal X and Y packets per second(s), then X is an instance of time dependent quantity |
| consequent |
|
|
| (=> (instance ?NA NetworkAdapter) (unitMeasuringPerformance ?NA PacketsPerSecond)) |
QoSontology.kif 949-951 | If X is an instance of network adapter, then packets per second is an unit measuring performance of X |
|