This ontology describes formulas in logical languages. The class of Propositions Identifies the Class of a resource The list of Vars Bag of Vars The list of Atomic formula