val is_sym_eq_URI : UriManager.uri -> bool
val is_eq_f_URI : UriManager.uri -> bool
val is_eq_f_sym_URI : UriManager.uri -> bool
val is_sym_eq_URI : UriManager.uri -> bool
val is_eq_f_URI : UriManager.uri -> bool
val is_eq_f_sym_URI : UriManager.uri -> bool