]> This ontology describes formulas in logical languages. Changelog: 2005-05-20: Added "rdf:" namespace prefixes to unqualified occurrences of 'resource' and 'ID' Corrected typo ("fdf" for "rdf"). The type of Propositions The class of Props asserted by this document. (Sandro Hawke's construct) 1 1 Identifies the Class of a resource