(in-knowledge-base test x-test) (signature :atomic-concepts ( ) :roles ( ( ) )) (concept-subsumes? ) (concept-ancestors ) (equivalent (and )) (implies ) (implies (some )) (some )