Knowledge in functions and relations