Example:  The game will be canceled if it rains .
     (c / cancel-01
           :ARG1 (g / game)
           :condition (r / rain-01))

Example:  In the case of rain, the game will be canceled .
     (c / cancel-01
           :ARG1 (g / game)
           :condition (r / rain-01))

For negative conditionals such as unless, include :polarity -

Example:  The game will be canceled unless the rain stops .
     (c / cancel-01
           :ARG1 (g / game)
           :condition (s / stop-01 :polarity -
                 :ARG1 (r / rain-01)))

Reifications: have-condition-91

close this window