hasAdditiveGroup
P69852
predicate
Indicates that something possesses an associated additive group structure, typically meaning its elements form a group under an addition-like operation.
Observed surface forms (2)
- additiveGroup ×1
- hasGroupLaw ×1