inductive.sparql

PREFIX ulo: <https://mathhub.info/ulo>

SELECT ?x ?y WHERE {
  ?x ulo:inductive-on ?y.
}