• Costanti: denotano oggetti dell'universo del discorso
• Predicati (n-ari): si usano per denotare relazioni fra oggetti del discorso
  • I predicati completamente instanziati con costanti li abbiamo chiamati proposizioni atomiche nella prima parte
• Funzioni (n-ari): si usano per denotare oggetti in maniera indiretta