isRealLieGroup
P142621
predicate
Indicates that the entity is a Lie group that is defined over the real numbers and satisfies the formal properties of a real Lie group.
Sample triples (1)
| Subject | Object |
|---|---|
| affine group of R^n | true ⓘ |