Atrubut

start

definition
  let x1 be Θ1;
   .....
  let xn be Θn;
  attr xn is (a1,...,am) ξ means Φ(x1,...,xn);
end;

gdzie {a₁,...,a_m} ⊆ {x₁,...,x_n-1} oraz może być pusty, {a₁,...,a_m} = ∅.

Atrybut (a₁,...,a_m) ξ słuźy do tworzenia przymiotników (τ₁,...,τ_m) ξ i non (τ₁,...,τ_m) ξ. Słowo non odwraca znaczenie przymiotnika:

x is non (τ₁,...,τ_m) ξ iff x is not (τ₁,...,τ_m) ξ.

Przykłady:

empty - pusty, n-element - n-elementowy, one-to-one - różnowartościowy, mmlquery