MEP 26 Relation Code Groups (Optimized Epistemic–Logical Taxonomy)
1. LOGICAL OPERATORS ON PROPOSITIONS
Fundamental relations of formal logic and modal logic.
#neg ¬X negation
#mod □X / ◇X modal necessity / possibility
#hyp X ⇒ Y implication (hypothesis)
#equ X ⇔ Y equivalence
#opp X ⊥ Y contradiction
2. DEFINITION AND IDENTITY
Establishes meaning and absolute identity of entities.
#def X ≝ Y definition
#idn X ≡ Y strict identity
3. STRUCTURAL AND SET RELATIONS
Describes part–whole, order, class membership, and comparison.
#set X ∈ Y element of set
#prt X ⊂ Y part–whole
#sub X < Y subordination
#cmp X R Y comparison (R ∈ {<, >, =})
4. FUNCTIONAL AND CAUSAL RELATIONS
Describes mathematical functions, causal and purposive structures.
#fun f(X)=Y function
#cas (X,Y) causality (X causes Y)
#res (X)=Y result of action
#pur (X)=Y purpose of action
#use (X,Y) instrumental use (X used for Y)
5. ATTRIBUTES AND ACTIONS
Ontological features and initiated processes.
#own (X,Y) attribute or property
#act (A,X) agent performing act
6. TEMPORAL AND SPATIAL CONTEXTS
Location and time assignments.
#tim (X)=t time of event
#loc (X)=Y location of object or event
7. EPISTEMIC AND PRAGMATIC ACTS
Acts of observation, judgment, communication, and demand.
#obs (O,X) observation
#jud (A,X) judgment or evaluation
#dem (A,X) demand
#com (A,B,X) communication (sender A, receiver B, content X)
8. DISCURSIVE STRUCTURES
Epistemic operations within discourse and reasoning.
#arg (X,Y) argument (X supports Y)
#que ?X question (query over X)