knowledge representation

$ 4.2.29 1 499---> type
$ 4.2.29 2 500---> type ls
ls is /bin/ls
$ 4.2.29 3 501---> type Xorg
Xorg is /usr/bin/Xorg
$ 4.2.29 4 502---> type  hey
bash: type: hey: not found
$ 4.2.29 5 503---> type  ls -l
ls is /bin/ls
bash: type: -l: not found
$ 4.2.29 6 504---> type  pwd
pwd is a shell builtin
$ 4.2.29 7 505---> type  shopt
shopt is a shell builtin
$ 4.2.29 8 506---> type  time
time is a shell keyword
$ 4.2.29 9 507---> type  times
times is a shell builtin
$ 4.2.29 10 508---> type  pstree
pstree is /usr/bin/pstree
$ 4.2.29 11 509---> type  man
man is /usr/bin/man
$ 4.2.29 12 510---> type  file
file is /usr/bin/file
$ 4.2.29 13 511---> type  type
type is a shell builtin
$ 4.2.29 14 512--->