7db630a55be9d955c8ac125da609b304cbcc6010vboxsync= render partial: '/ontologies/menu', locals: {resource: resource}

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync%h1#ontology_title

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync = ontology_link_to resource

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %small

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync - if resource.logic

1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync = link_to resource.logic.to_s, resource.logic

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync = resource.acronym

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync- if resource.ontology_type

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync %small

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync %p

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync #{Settings.OMS} Type:

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync = fancy_link resource.ontology_type

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync%small

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync #{Settings.OMS} defined

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync - if resource.parent

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync by

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync %span= fancy_link(resource.parent)

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync in the file

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync = fancy_link repository_tree_path(resource.repository, resource.path)

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync - if resource.documentation

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync See for detailed documentation

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync = link_to resource.documentation, resource.documentation

1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync

1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync

1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync%p

1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync %span.iri-link= link_to locid_for(resource), locid_for(resource)

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync%p= resource.description

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync- if resource.oops_supported?

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync = render partial: '/ontologies/oops_state', locals: {resource: resource}

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync- if resource.non_current_active_version?(current_user)

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync = render partial: '/ontologies/status'

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync%nav.nav_tab_level1

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %ul.nav.nav-tabs

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync - @top_level_pages.each do |(page_title, page, controller)|

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %li{class: controller==current_page || in_subcontroller?(controller, current_page) ? 'active' : nil}

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync = link_to page_title, page

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync - if %w(symbols sentences theorems children).include?(controller_name)

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %nav.nav_tab_level2

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %ul.nav.nav-tabs

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync - @symbols.each do |symbols|

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %li{:class => (symbols.kind == @active_kind ? 'active' : nil)}

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync = link_to locid_for(resource_chain.last, :symbols, kind: symbols.kind) do

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync = symbols.count == 1 ? symbols.kind : symbols.kind.pluralize

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %span.badge{:style => symbols.count == 0 && 'display:none'}= symbols.count

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync - pages.each do |page, path, count|

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %li{:class => (page==current_page ? 'active' : nil)}

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync = link_to path do

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync = page.to_s.capitalize

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync - if count # hide counter if empty

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %span.badge{:style => count==0 && 'display:none'}= count

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync - if in_metadata?

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %nav.nav_tab_level2

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %ul.nav.nav-tabs

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync - @metadatas.each do |(page_title, page, controller)|

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync %li{class: controller==current_page ? 'active' : nil}

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync = link_to page_title, page

7db630a55be9d955c8ac125da609b304cbcc6010vboxsync