Tipi di Concetti e Gerarchia dei Tipi
I Tipi di Concetti rappresentano classi di entità, attributi, stati, eventi.
Sull'insieme dei tipi di concetti è definita une relazione d'ordine parziale <, denominata gerarchia dei tipi. Se t ed s sono due tipi, e vale t < s, allora si dice che t è sottotipo di s (o, viceversa, che s è un supertipo di t), e ciò significa che ogn
Gatto < Mammifero < Animale < Oggetto Fisico
In un sistema specifico che utilizza CG, sarà predefinito un insieme di tipi di concetti.