The OMDoc ontology models logical/functional structures of mathematical knowledge, such as formulĂ¦, objects, statements (e.g. definitions, axioms, theorems, proofs), and theories.
Properties: has import, renders symbol, has definition, imports from, justified by external statement, has declared type, refers to, justified by, exemplifies, has type, proved by, imported by, Home theory, justified by, occurs in definition of, refuted by, depends on, justified by, formality degree, has Property, refutes, Meta Theory, corroborated by, has step, home theory of, has step, has notation definition, occurs in, truth depends on, wellformedness depends on, occurs in type of, Text, has direct part, proves, verbalizes, imports, assumes, has asserted type, concludes with, uses symbol, has occurrence of in type, justified by, exemplified by, corroborates, has occurrence of in definition, defines, has part, formalizes, justified by subproof and justified by preceding step
Classes: Definition (general), Definition, Reference, Type, Formel, Assumption, Sequent Part, Constitutive Statement, Proof, Proof-local Definition, Proof (general), Assertion, Symbol, Postulate, Derivation Step, Rule, Conjecture, Declared Type, Alternative Definition, Symbol (general), Document Unit, Citation, Property, Lemma, Assumption, False Conjecture, Corollary, Notation Definition, Statement, Conclusion, Axiom, Document, Axiom (general), Conclusion, Gap, Formality Degree, Hypothesis, Obligation, Non-constitutive Statement, Theorem, Informal Knowledge Item, Statement, Statement, Proof Step, Theory, Proof Text, Nested Proof, Text Fragment, Formal Knowledge Item, Proof-local Symbol, Import, Proof-local Statement, Proposition, Asserted Type, Example and Mathematical Knowledge Item
No examples yet, add one.