vj type Class rule2b u unionOf {vj ...} vj type Class rule3 x distinctMembers {xj ...} x j type Thing rule4 u disjointWith v u subClassOf u v subClassOf v u ...
確定! 回上一頁