Draft for review only

Sum¶

Sum Diagram

Formalization for Sum¶

Property	Constraint
subClassOf	Parameter
sum_of	exactly 1 owl:Thing