CMCP Knowledge Base

Number of Frames = 1108

Classes = 230

Individuals = 878

Functions = 88

Relations = 79

Rules = 140

Variables = 106

Rest = 465

Number of axioms = 6700

(excluding upper level)

Previous slide

Next slide

Back to first slide

View graphic version