Abstract: Over the past decades mathematical software systems have become increasingly powerful and complex. The integration of mathematical formal systems is highly desirable. Web-oriented platforms of distributed mathematical services enable mathematical activiti

Key words: Mathematical knowledge, Ontology, Frame, Predicate calculus, Type, Knowledge representation, Knowledge acquisition