Assertion: ring's property | /r/CapableOf | serve as model
Facets:
value: for the axioms for rings
type: TRANSITIVE-OBJECT
Source sentences:
text: The familiar properties for addition and multiplication of integers serve as a model for the axioms for rings.