abstract knowledge