Fakte ümbritseva maailma kohta tuleb esitada mingil viisil. Tavaliselt on kasutusel matemaatilise loogika keeled. Vaja on esitada objekte, omadusi, kategooriaid, objektidevahelisi seoseid, sündmusi, olekut ja aega, põhjuseid ja tagajärgi, teadmisi teadmiste kohta (mida me teame selle kohta, mida teised inimesed teavad) ning palju muud.