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

%h1#ontology_title

= ontology_link_to resource

%small

- if resource.logic

= link_to resource.logic.to_s, resource.logic

= resource.acronym

- if resource.ontology_type

%small

%p

#{Settings.OMS} Type:

= fancy_link resource.ontology_type

%small

#{Settings.OMS} defined

- if resource.parent

by

%span= fancy_link(resource.parent)

in the file

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

- if resource.documentation

See for detailed documentation

= link_to resource.documentation, resource.documentation

%p

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

%p= resource.description

- if resource.oops_supported?

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

- if resource.non_current_active_version?(current_user)

= render partial: '/ontologies/status'

%nav.nav_tab_level1

%ul.nav.nav-tabs

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

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

= link_to page_title, page

- if %w(symbols axioms theorems children proof_attempts).include?(controller_name)

%nav.nav_tab_level2

%ul.nav.nav-tabs

- @symbols.each do |symbols|

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

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

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

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

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

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

= link_to path do

= page.to_s.capitalize

- if count # hide counter if empty

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

- if in_metadata?

%nav.nav_tab_level2

%ul.nav.nav-tabs

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

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

= link_to page_title, page