]> This ontology describes formulas in logical languages. The type of Propositions 1 1 Identifies the Class of a resource