CycL

CycL estas logika formala apriora lingvo kies sintakso derivas el unua-ranga predikata kalkulo (la formala logiko). Por eksprimi la komunan sensan konon, tamen, ĝi malproksimiĝis el formala logiko. La vortprovizo de CycL konsistas de logikaj terminoj. La aro de terminoj estas divideblaj en konstantaj, neatomikigaj (NATj), varieblaj kaj kelkaj aliaj tipoj de objektoj. Terminoj estas kombinataj en signifplenaj CycLaj lokucioj, kiuj estas uzataj por fari asertojn en kon-bazo. Tre ŝajne, la lingvo ne estas por homa uzo kiel helplingvo.