Representing Knowledge

MMT integrates the 4 major paradigms for representing scientific knowledge.

Foundation Independent

All aspects of MMT avoid a commitment to semantic foundation, representational paradigm, or application work flow

Representation Languages

MMT represents all knowledge in one simple framework

Narration

MMT subsumes natural languages

Applications

MMT enables generic large-scale implementations

Deduction

MMT subsumes logical languages

Soundness-Critical Services

MMT allows generic solutions to deep problems

Computation

MMT will subsume programming languages

Management Services

MMT allows generic knowledge management solutions

Tabulation

MMT subsumes data description languages