Knowledge representation and inheritance

\label{des/know/inheritance} .so intro inheritance specialization representation backtracking