FOL en · NOUN Meanings (abbreviation, alt-of, initialism) Initialism of first-order logic. alt of first-order logic