View source for Pr4 UG rv On Classification results

__NOTOC__
<!-- Pr4_UG_rv_On_Classification_results -->
== Ontology - Classification results ==

<noinclude>{{Pr4_UG_rv_On_TOC}}<div id='pr4_ug'></noinclude>

This [[Pr4_UG_ui_Views|view]] allows display and editing
of selected [[{{#var:G}}Entailment|entailments]]
for an [[{{#var:G}}Ontology|ontology]].

=== Context ===

By default, this view appears in the following tabs:

* [[Pr4_UG_rt_Active_Ontology|Active Ontology]], in the "Classification results" sub-tab

=== Content and Layout ===

The external header begins with the text "Classification results".
The internal header begins with the text "Inferred axioms",
followed by an "Add" (+) button (to add an axiom to the ontology).
Zero or more ontology axioms may follow.
<!-- ?(ToDo: check text) -->

=== Examples ===

The image below shows the default appearance of this view.

[[Image:Pr4 UG rv On Classification results.jpg|frame|left]]

</div>