mAtlas relation vocabulary

Controlled vocabulary

Use these terms to interpret the relation type of an authored mAtlas edge. The edge itself remains the citable assertion and carries its specific explanation and source citations.

Machine-readable JSON-LD vocabulary · Relation-type NDJSON

Relation types

• Add dataadd-data
  Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.
• Impose axiomimpose-axiom
  Keep the existing data and select the subclass satisfying an additional law, existence condition, finiteness condition, or other property.
• Induced / forgotteninduced-forgotten
  Pass canonically from a stronger object to structure it determines, or forget part of the data while retaining a valid weaker structure. The carrier may change under a canonical induced construction.
• Canonical constructioncanonical-construction
  Apply a standard functorial or canonical construction whose output is not merely a reduct of the input and is not generally an equivalent presentation of the same object.
• Quotient constructionquotient-construction
  Identify elements by a stated equivalence relation and equip the quotient with the induced structure. The edge detail must state the representatives and equivalence relation.
• Canonical embeddingcanonical-embedding
  Map one structure injectively into another by the standard structure-preserving inclusion or representation. This records a canonical copy, not necessarily literal set containment.
• Combine compatible structurescombine-compatible
  Feed several structures into a construction junction and impose compatibility between them.
• Representation / equivalencerepresentation-equivalence
  Reinterpret an object, pass to an equivalent presentation, or relate canonically corresponding structures; the carrier may change.
• Theorem implicationtheorem-implication
  Record a genuine theorem implication that is not part of the target definition; these edges may point toward a weaker structure.
• Mathematical formulationmathematical-formulation
  A mathematical concept supplies part of the formal language, state space, representation, or analytic machinery used by a scientific or mathematical-physics concept. The source is the mathematical predecessor; this does not claim that physical content follows from mathematics alone.
• Framework specializationframework-specialization
  A more specific theory, model, entity class, or regime is obtained by restricting or extending the scope of a broader framework.
• Quantizationquantization
  A classical system or field theory is used to construct a quantum theory through a stated quantization procedure. Quantization need not be unique and is not guaranteed to preserve every classical structure.
• Theory componenttheory-component
  The source supplies a substantive formal ingredient, dynamical sector, law, field content, or mechanism of the target theoretical framework.
• Describes / governsdescribes-governs
  A theory, law, or interaction describes the behavior of the target within a stated regime. The edge detail must state important limits or qualifications.
• Physical constitution / realizationcomposition
  The source is a material constituent, structural component, or underlying quantum field whose excitation realizes the target physical system or particle. The edge label and detail must distinguish composition from field excitation; neither implies a simple classical sum of parts.
• Classificationclassification
  The target is a member or subtype of the broader source class.
• Physical interaction / bindingcouples-interacts
  The source field, particle, charge, current, or interaction couples to, acts on, binds, forms, or stabilizes the target in the stated regime. The edge label and detail must identify the exact coupling, interaction, or binding claim and its qualifications.
• Limit / controlled approximationmathematical-limit
  The target is recovered from the source either in a stated mathematical or asymptotic limit, or through a quantitatively controlled approximation with identified small parameters or omitted terms. The edge label and detail must state which case applies and its regime of validity.
• Effective theory / modeleffective-theory
  The target retains the degrees of freedom and interactions relevant below a stated scale or within a stated regime, while higher-energy or unresolved degrees of freedom from the source are integrated out, coarse-grained, or encoded in effective couplings.
• Model / approximation methodmodel-realization
  The target is a model, idealization, restricted ansatz, approximation scheme, phenomenological fit, or historical representation used for the source system or theory. It need not have a universal small error parameter and is not thereby a controlled limit or effective theory. The edge label and detail must identify the precise status.
• Emergent / collective behavioremergence
  The target is a collective, organizational, or scale-dependent phenomenon of the source constituents and interactions; it is not a mere list or classical sum of constituents.
• State / property descriptionstate-description
  The target represents a state, property, observable, or state-dependent description associated with the source system or theory.
• Transformation / processtransformation-process
  A physical process transforms the source into, or produces, the target under the conditions stated in the edge detail.
• Historically motivatedhistorically-motivated
  The source experiment, observation, anomaly, or problem materially motivated the development, revision, or acceptance of the target concept. Historical influence is not logical derivation; the edge detail states the documented role and avoids retrospective origin myths.
• Experimentally tested / supported byexperimentally-verified-by
  The source theory, law, entity, prediction, or structural claim is directly tested, supported, constrained, or established by the target experiment or observation. Experimental support is not final logical proof; the edge detail states exactly what was measured.