Import comorphisms between logics and not between sublogics
Import comorphisms between logics and not between sublogics

ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub