mathematical
- CURIE:
gmeow:symbolicKindMathematical - IRI: https://blackcatinformatics.ca/gmeow/symbolicKindMathematical
- Category: individual
- Defined by:
gmeow:slices/notation - Box roles: ABox role (What is this?)
A notation system for representing mathematical objects, relations, and proofs.
Structure
Types: gmeow:SymbolicSystemKind
Practical Pattern
Use gmeow:symbolicKindMathematical as a controlled value typed as gmeow:SymbolicSystemKind.
Common Companion Terms
External Equivalences
Equivalent or closely aligned targets: wd
Linkages
Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.
Term Equivalences
| Source | Kind | Profile | Predicate/Relation | Target | Evidence |
|---|---|---|---|---|---|
gmeow:symbolicKindMathematical |
equivalence | - |
skos:closeMatch | wd:Q1140046 | gmeow-notation.sssom.tsv; gmeow:eqNotation005; confidence 0.8 |