_ontology.html.haml revision 7ef46b1adca473f664769a44a378e9f08385d3a0
%li
%ul.stats
%li
= ontology.logic
%li
= ontology.entities.count
Symbols
%li
= ontology.axioms.count
Axioms
%h3= link_to ontology, ontology
%p= ontology.name