knowledge representation

$ 4.2.29 11 511---> ping -c5 google.com &
[1] 4376
$ 4.2.29 12 512---> PING google.com (173.194.38.165) 56(84) bytes of data.
64 bytes from sin04s02-in-f5.1e100.net (173.194.38.165): icmp_req=1 ttl=54 time=75.8 ms
64 bytes from sin04s02-in-f5.1e100.net (173.194.38.165): icmp_req=2 ttl=54 time=75.3 ms
64 bytes from sin04s02-in-f5.1e100.net (173.194.38.165): icmp_req=3 ttl=54 time=75.4 ms
64 bytes from sin04s02-in-f5.1e100.net (173.194.38.165): icmp_req=4 ttl=54 time=75.0 ms
64 bytes from sin04s02-in-f5.1e100.net (173.194.38.165): icmp_req=5 ttl=54 time=76.1 ms

--- google.com ping statistics ---
5 packets transmitted, 5 received, 0% packet loss, time 4005ms
rtt min/avg/max/mdev = 75.095/75.573/76.101/0.405 ms

[1]+  Done                    ping -c5 google.com
$ 4.2.29 12 512--->