Relation Catalog

Metaplasma ships with a pragmatic preposition set (v1) spanning spatial, temporal, structural, causal, and agency domains. Each relation is a Sigil (type: relation) with metadata: directionality, symmetry, inverse, arity, roles, and category.

Library of Prepositions

Spatial Topology — containment, contact, vicinity
  • in ⇄ contains; on ⇄ supports; at
  • under ⇄ above; inside ⇄ around; outside ⇄ surrounds
  • between (arity 3); among (member,set)
  • adjacent_to (sym); near (sym); far_from (sym)
sigil:
  id: in
  type: relation
  properties:
    directed: true
    inverse: contains
    arity: 2
    roles: [subject, container]
    category: spatial_topology
            
Spatial Motion / Path — movement, pathing
  • into ⇄ out_of; onto ⇄ off
  • through ⇄ along; across ⇄ spans
  • toward ⇄ away_from; to ⇄ from
  • past; via
sigil:
  id: into
  type: relation
  properties:
    directed: true
    inverse: out_of
    arity: 2
    roles: [subject, destination]
    category: spatial_motion
            
Orientation / Alignment — direction, facing
  • aligned_with (sym); parallel_to (sym); perpendicular_to (sym)
  • facing ⇄ faced_by; left_of ⇄ right_of; ahead_of ⇄ behind
sigil:
  id: aligned_with
  type: relation
  properties:
    directed: false
    symmetric: true
    arity: 2
    roles: [subject, subject]
    category: orientation
            
Structure — part–whole, sets
  • part_of ⇄ has_part; member_of ⇄ has_member
  • component_of ⇄ has_component; made_of ⇄ has_material
  • subset_of ⇄ superset_of; version_of ⇄ has_version
  • variant_of ⇄ has_variant; container_of ⇄ contained_by
sigil:
  id: part_of
  type: relation
  properties:
    directed: true
    inverse: has_part
    arity: 2
    roles: [part, whole]
    category: structure
            
Ownership / Control — authority, assignment
  • owned_by ⇄ owns; controlled_by ⇄ controls
  • responsible_to ⇄ responsible_for; governed_by ⇄ governs
  • assigned_to ⇄ assigned_by
sigil:
  id: owned_by
  type: relation
  properties:
    directed: true
    inverse: owns
    arity: 2
    roles: [asset, owner]
    category: control
            
Association / Linkage — attachment, connectivity
  • with; without; connected_to (sym)
  • attached_to ⇄ detached_from; bound_to ⇄ unbound_from
  • linked_to (sym); related_to (sym)
sigil:
  id: connected_to
  type: relation
  properties:
    directed: false
    symmetric: true
    arity: 2
    roles: [subject, subject]
    category: association
            
Causality / Process — cause, enable, prevent
  • causes ⇄ caused_by; enables ⇄ enabled_by; prevents ⇄ prevented_by
  • results_in ⇄ result_of; leads_to ⇄ led_from
  • transforms_to ⇄ transforms_from; depends_on ⇄ required_by
  • uses ⇄ used_by
sigil:
  id: causes
  type: relation
  properties:
    directed: true
    inverse: caused_by
    arity: 2
    roles: [cause, effect]
    category: causality
            
Temporal — order, overlap
  • before ⇄ after; during (sym)
  • at_time; since ⇄ until
  • starts_at ⇄ started_by; ends_at ⇄ ended_by
  • overlaps_in_time (sym); concurrent_with (sym)
sigil:
  id: before
  type: relation
  properties:
    directed: true
    inverse: after
    arity: 2
    roles: [precedent, subsequent]
    category: temporal
            
Agency / Means — roles, instruments
  • by_agent; as
  • with_instrument ⇄ instrument_of; via_method ⇄ method_of
  • for_benefit_of ⇄ benefits_from; on_behalf_of ⇄ represented_by
sigil:
  id: with_instrument
  type: relation
  properties:
    directed: true
    inverse: instrument_of
    arity: 2
    roles: [agent, instrument]
    category: agency
            
Purpose / Function — goals, capability
  • for; in_order_to ⇄ purpose_of
  • used_for ⇄ use_of; capable_of ⇄ capability_of
  • suitable_for ⇄ suitability_of; about ⇄ topic_of
sigil:
  id: used_for
  type: relation
  properties:
    directed: true
    inverse: use_of
    arity: 2
    roles: [tool, purpose]
    category: purpose
            
Similarity / Comparison — likeness, contrast
  • similar_to (sym); equivalent_to (sym); same_as (sym)
  • different_from (sym); analog_to (sym)
sigil:
  id: similar_to
  type: relation
  properties:
    directed: false
    symmetric: true
    arity: 2
    roles: [subject, subject]
    category: similarity
            
Information — reference, channel
  • about ⇄ topic_of; according_to ⇄ source_of_claim
  • from_source ⇄ source_of; to_audience ⇄ audience_of
  • via_channel ⇄ channel_of; refers_to ⇄ referenced_by; defined_in ⇄ defines
sigil:
  id: about
  type: relation
  properties:
    directed: true
    inverse: topic_of
    arity: 2
    roles: [work, topic]
    category: information
            
Derivation / Transformation — origin, mapping
  • derived_from ⇄ derives_to; based_on ⇄ base_of
  • converted_from ⇄ converts_to; mapped_to ⇄ mapped_from
sigil:
  id: derived_from
  type: relation
  properties:
    directed: true
    inverse: derives_to
    arity: 2
    roles: [derivative, source]
    category: derivation
            
State / Constraint — condition, permission
  • in_state ⇄ state_of; under_condition ⇄ condition_of
  • subject_to ⇄ governs_condition; compatible_with (sym); conflicts_with (sym)
  • allowed_by ⇄ allows; prohibited_by ⇄ prohibits
sigil:
  id: in_state
  type: relation
  properties:
    directed: true
    inverse: state_of
    arity: 2
    roles: [entity, state]
    category: state
            
Identity / Taxonomy — class, naming
  • is_a ⇄ instance_of; alias_of (sym); equivalent_to (sym)
  • named_by ⇄ names
sigil:
  id: is_a
  type: relation
  properties:
    directed: true
    inverse: instance_of
    arity: 2
    roles: [instance, archetype]
    category: identity
            
back to top

Spatial Topology

back to top

Spatial Motion / Path

back to top

Orientation / Alignment

back to top

Structural (Part–Whole, Sets)

back to top

Ownership / Control

back to top

Association / Attachment / Linkage

back to top

Causality / Process

back to top

Temporal

back to top

Role / Agency / Means

back to top

Purpose / Function

back to top

Similarity / Comparison

back to top

Communication / Information

back to top

Derivation / Transformation

back to top

State / Condition / Constraint

back to top

Identity / Taxonomy

back to top