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
Spatial Topology
in⇄contains;on⇄supports;atunder⇄above;inside⇄around;outside⇄surroundsbetween(arity 3: subject, bound_a, bound_b);among(member,set)adjacent_to(sym);near(sym);far_from(sym)
Spatial Motion / Path
into⇄out_of;onto⇄offthrough⇄along;across⇄spanstoward⇄away_from;to⇄frompast;via
Orientation / Alignment
aligned_with(sym);parallel_to(sym);perpendicular_to(sym)facing⇄faced_by;left_of⇄right_of;ahead_of⇄behind
Structural (Part–Whole, Sets)
part_of⇄has_part;member_of⇄has_membercomponent_of⇄has_component;made_of⇄has_materialsubset_of⇄superset_of;version_of⇄has_versionvariant_of⇄has_variant;container_of⇄contained_by
Ownership / Control
owned_by⇄owns;controlled_by⇄controlsresponsible_to⇄responsible_for;governed_by⇄governsassigned_to⇄assigned_by
Association / Attachment / Linkage
with;without;connected_to(sym)attached_to⇄detached_from;bound_to⇄unbound_fromlinked_to(sym);related_to(sym)
Causality / Process
causes⇄caused_by;enables⇄enabled_by;prevents⇄prevented_byresults_in⇄result_of;leads_to⇄led_fromtransforms_to⇄transforms_from;depends_on⇄required_byuses⇄used_by
Temporal
before⇄after;during(sym)at_time;since⇄untilstarts_at⇄started_by;ends_at⇄ended_byoverlaps_in_time(sym);concurrent_with(sym)
Role / Agency / Means
by_agent;aswith_instrument⇄instrument_of;via_method⇄method_offor_benefit_of⇄benefits_from;on_behalf_of⇄represented_by
Purpose / Function
for;in_order_to⇄purpose_ofused_for⇄use_of;capable_of⇄capability_ofsuitable_for⇄suitability_of;about⇄topic_of
Similarity / Comparison
similar_to(sym);equivalent_to(sym);same_as(sym);different_from(sym);analog_to(sym)
Communication / Information
about⇄topic_of;according_to⇄source_of_claimfrom_source⇄source_of;to_audience⇄audience_ofvia_channel⇄channel_of;refers_to⇄referenced_by;defined_in⇄defines
Derivation / Transformation
derived_from⇄derives_to;based_on⇄base_ofconverted_from⇄converts_to;mapped_to⇄mapped_from
State / Condition / Constraint
in_state⇄state_of;under_condition⇄condition_ofsubject_to⇄governs_condition;compatible_with(sym);conflicts_with(sym)allowed_by⇄allows;prohibited_by⇄prohibits
Identity / Taxonomy
is_a⇄instance_of;alias_of(sym);equivalent_to(sym)named_by⇄names