diff --git a/experimental/ulo/coq-predicates.txt b/experimental/ulo/coq-predicates.txt
new file mode 100644
index 0000000000000000000000000000000000000000..5adcf1bb1dc90c03df6dfa4386a4c1aa3bae3c2a
--- /dev/null
+++ b/experimental/ulo/coq-predicates.txt
@@ -0,0 +1,78 @@
+0 - https://mathhub.info/ulo#action-times
+0 - https://mathhub.info/ulo#aligned-with
+0 - https://mathhub.info/ulo#alternative-for
+0 - https://mathhub.info/ulo#antonym
+0 - https://mathhub.info/ulo#automatically-proved
+571 - https://mathhub.info/ulo#axiom
+0 - https://mathhub.info/ulo#check-time
+0 - https://mathhub.info/ulo#constructs
+0 - https://mathhub.info/ulo#contains
+0 - https://mathhub.info/ulo#counter-example-for
+0 - https://mathhub.info/ulo#crossrefs
+0 - https://mathhub.info/ulo#declaration
+0 - https://mathhub.info/ulo#defines
+5813 - https://mathhub.info/ulo#definition
+0 - https://mathhub.info/ulo#deprecated
+69017 - https://mathhub.info/ulo#derived
+0 - https://mathhub.info/ulo#docref
+40 - https://mathhub.info/ulo#example
+0 - https://mathhub.info/ulo#example-for
+0 - https://mathhub.info/ulo#experimental
+0 - https://mathhub.info/ulo#external-size
+494 - https://mathhub.info/ulo#file
+54 - https://mathhub.info/ulo#folder
+0 - https://mathhub.info/ulo#formalizes
+0 - https://mathhub.info/ulo#function
+0 - https://mathhub.info/ulo#generated-by
+0 - https://mathhub.info/ulo#hypernym
+0 - https://mathhub.info/ulo#hyponym
+0 - https://mathhub.info/ulo#implementation-uses
+0 - https://mathhub.info/ulo#implementation-uses-implementation-of
+0 - https://mathhub.info/ulo#implementation-uses-interface-of
+0 - https://mathhub.info/ulo#important
+0 - https://mathhub.info/ulo#inductive-on
+0 - https://mathhub.info/ulo#inspired-by
+0 - https://mathhub.info/ulo#instance-of
+0 - https://mathhub.info/ulo#inter-statement
+0 - https://mathhub.info/ulo#interface-uses
+0 - https://mathhub.info/ulo#interface-uses-implementation-of
+0 - https://mathhub.info/ulo#interface-uses-interface-of
+82336 - https://mathhub.info/ulo#internal-size
+0 - https://mathhub.info/ulo#justifies
+0 - https://mathhub.info/ulo#last-checked-at
+1 - https://mathhub.info/ulo#library
+1 - https://mathhub.info/ulo#library-group
+0 - https://mathhub.info/ulo#logical
+0 - https://mathhub.info/ulo#mutual-block
+0 - https://mathhub.info/ulo#name
+0 - https://mathhub.info/ulo#nyms
+0 - https://mathhub.info/ulo#organizational
+0 - https://mathhub.info/ulo#para
+0 - https://mathhub.info/ulo#paratype
+0 - https://mathhub.info/ulo#phrase
+0 - https://mathhub.info/ulo#physical
+220 - https://mathhub.info/ulo#predicate
+14459 - https://mathhub.info/ulo#primitive
+0 - https://mathhub.info/ulo#proof
+10437 - https://mathhub.info/ulo#proposition
+1 - https://mathhub.info/ulo#revision
+0 - https://mathhub.info/ulo#rule
+0 - https://mathhub.info/ulo#same-as
+0 - https://mathhub.info/ulo#section
+0 - https://mathhub.info/ulo#see-also
+0 - https://mathhub.info/ulo#similar-to
+0 - https://mathhub.info/ulo#size-properties
+0 - https://mathhub.info/ulo#sourceref
+0 - https://mathhub.info/ulo#specified-in
+0 - https://mathhub.info/ulo#specifies
+44638 - https://mathhub.info/ulo#statement
+0 - https://mathhub.info/ulo#superseded-by
+0 - https://mathhub.info/ulo#theorem
+2651 - https://mathhub.info/ulo#theory
+1651 - https://mathhub.info/ulo#type
+0 - https://mathhub.info/ulo#typedec
+0 - https://mathhub.info/ulo#unimportant
+0 - https://mathhub.info/ulo#universe
+1160140 - https://mathhub.info/ulo#uses
+0 - https://mathhub.info/ulo#uses-implementation
+0 - https://mathhub.info/ulo#uses-interface
diff --git a/experimental/ulo/ulo-used-predicates.txt b/experimental/ulo/isabelle-predicates.txt
similarity index 100%
rename from experimental/ulo/ulo-used-predicates.txt
rename to experimental/ulo/isabelle-predicates.txt