TOGA: TAO
Di un mondo di oggetti W =({Q},{r})  si può
sapere :
 l’esistenza di oggetti e relazioni che si
esprime con una dichiarazione, ad es. se
               Q1,Q2Î{Q}
allora
 $r[Q1,Q2] Î{r} e viceversa ( livello OL1);
 i nomi degli  attributi ( livello OL2);
 i valori degli attributi ( livelloOL3 ) .