In computer science, FO (.) (a.k.a. FO-dot) is a knowledge representation language (a.k.a. frame language) based on first-order logic. Definitions that specify a unique interpretation of a defined symbol, given the interpretation of its parameters. Definitions can be inductive.