This tool relates English terms to concepts from the
SUMO
ontology by means of mappings to
WordNet synsets.
According to WordNet, the noun "arithmetic_progression" has 1 sense(s).
108460924 (mathematics) a progression in which a constant is added to each term in order to obtain the next term; "1-4-7-10-13- is the start of an arithmetic progression".