A body of abstract knowledge, resulting from logical reasoning applied to various objects, distinguished by a particular relationship to reality.