ulo: investiage what predicates are used

Turns out, only maybe 1/3 of all available predicates are actually
part of the exported datasets. No surprise my queries are hitting
nothing.

experimental/ulo/queries/counts.sparql

+prefix ulo: <https://mathhub.info/ulo#>
+prefix onto: <http://www.ontotext.com/>
+
+select * from onto:count where {
+    ?s ulo:universe ?o.
+}

experimental/ulo/ulo-used-predicates.txt

+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
+0 - https://mathhub.info/ulo#axiom
+131601 - 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
+233523 - https://mathhub.info/ulo#defines
+1024932 - https://mathhub.info/ulo#definition
+0 - https://mathhub.info/ulo#deprecated
+1545427 - https://mathhub.info/ulo#derived
+0 - https://mathhub.info/ulo#docref
+0 - https://mathhub.info/ulo#example
+0 - https://mathhub.info/ulo#example-for
+41298 - https://mathhub.info/ulo#experimental
+7040 - https://mathhub.info/ulo#external-size
+0 - https://mathhub.info/ulo#file
+0 - https://mathhub.info/ulo#folder
+0 - https://mathhub.info/ulo#formalizes
+167694 - 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
+1495 - https://mathhub.info/ulo#important
+3148 - https://mathhub.info/ulo#inductive-on
+0 - https://mathhub.info/ulo#inspired-by
+5246 - 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
+0 - https://mathhub.info/ulo#internal-size
+534988 - https://mathhub.info/ulo#justifies
+0 - https://mathhub.info/ulo#last-checked-at
+0 - https://mathhub.info/ulo#library
+0 - https://mathhub.info/ulo#library-group
+0 - https://mathhub.info/ulo#logical
+0 - https://mathhub.info/ulo#mutual-block
+2175591 - https://mathhub.info/ulo#name
+0 - https://mathhub.info/ulo#nyms
+0 - https://mathhub.info/ulo#organizational
+241708 - https://mathhub.info/ulo#para
+241708 - https://mathhub.info/ulo#paratype
+0 - https://mathhub.info/ulo#phrase
+0 - https://mathhub.info/ulo#physical
+79157 - https://mathhub.info/ulo#predicate
+1356 - https://mathhub.info/ulo#primitive
+0 - https://mathhub.info/ulo#proof
+0 - https://mathhub.info/ulo#proposition
+0 - https://mathhub.info/ulo#revision
+0 - https://mathhub.info/ulo#rule
+0 - https://mathhub.info/ulo#same-as
+29551 - 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
+2145989 - https://mathhub.info/ulo#sourceref
+2215971 - https://mathhub.info/ulo#specified-in
+2215971 - https://mathhub.info/ulo#specifies
+1538234 - https://mathhub.info/ulo#statement
+0 - https://mathhub.info/ulo#superseded-by
+0 - https://mathhub.info/ulo#theorem
+12423 - https://mathhub.info/ulo#theory
+12243 - https://mathhub.info/ulo#type
+0 - https://mathhub.info/ulo#typedec
+551 - https://mathhub.info/ulo#unimportant
+1264 - https://mathhub.info/ulo#universe
+209417517 - https://mathhub.info/ulo#uses
+0 - https://mathhub.info/ulo#uses-implementation
+0 - https://mathhub.info/ulo#uses-interface

experimental/ulo/ulo-used.txt

-The following is a list of ULO IRIs used as predicate in the Coq
-and Isabelle Distribution (not AFP) datasets
-
-    http://ulo.mathhub.infoderived
-    http://ulo.mathhub.infodocref
-    http://ulo.mathhub.infouses
-    http://ulo.mathhub.infointernal-size
-    http://ulo.mathhub.infosourceref
-    http://ulo.mathhub.infostatement
-    http://ulo.mathhub.infoproposition
-    http://ulo.mathhub.infodefinition
-    http://ulo.mathhub.infodeclares
-    http://ulo.mathhub.infoobject
-    http://ulo.mathhub.infotheory
-    http://ulo.mathhub.infotype
-    http://ulo.mathhub.infoaxiom
-    http://ulo.mathhub.infoprimitive
-    http://ulo.mathhub.infopredicate
-    http://ulo.mathhub.infoexample
-    http://ulo.mathhub.infolibrary
-    http://ulo.mathhub.inforevision
-    http://ulo.mathhub.infofolder
-    http://ulo.mathhub.infofile
-    http://ulo.mathhub.infolibrary-group
-    https://mathhub.info/ulotheory
-    https://mathhub.info/ulocheck-time
-    https://mathhub.info/uloexternal-size
-    https://mathhub.info/ulospecifies
-    https://mathhub.info/ulospecified-in
-    https://mathhub.info/uloname
-    https://mathhub.info/ulosection
-    https://mathhub.info/ulosourceref
-    https://mathhub.info/ulouniverse
-    https://mathhub.info/ulouses
-    https://mathhub.info/ulopredicate
-    https://mathhub.info/ulodefines
-    https://mathhub.info/ulostatement
-    https://mathhub.info/uloderived
-    https://mathhub.info/uloinstance-of
-    https://mathhub.info/ulojustifies
-    https://mathhub.info/ulotype
-    https://mathhub.info/ulofunction
-    https://mathhub.info/ulopara
-    https://mathhub.info/uloparatype
-    https://mathhub.info/uloprimitive
-    https://mathhub.info/ulodefinition
-    https://mathhub.info/uloimportant
-    https://mathhub.info/ulounimportant
-    https://mathhub.info/uloinductive-on
-    https://mathhub.info/uloexperimental