Technical description of KADBASE