Axiom 650 Logical axiom count 318 Declaration axioms count 208 Class count 86 Object property count 11 Data property count 0 Individual count 106 Annotation Property count 9
技术支持QQ:47072005