Knowledge Structure on Properties of Relations