Keyboard Maestro includes a variety of control flow actions which perform actions depending on a set of conditions.

The condition clause of the flow control actions can be any of:

• Any of the following are true – at least one condition must be true.
• All of the following are true – every condition must be true.
• None of the following are true – no condition is true.
• Not all of the following are true – at least one condition must be false.

This is followed by a set of specific conditions. If there are no conditions in the set at all, the action will not execute anything except theUntil action which will execute the actions once. Neither side of theIf Then Else action will execute.

The available conditions are listed on the wiki Conditions page.