| CounterClockwise(counter_clockwise) | | anticlockwise, contraclockwise, counterclockwise, left-handed, levorotary, levorotatory |
| appearance as argument number 1 |
|
|
| (documentation CounterClockwise EnglishLanguage "The opposite direction from which the hands of a modern Clock move when reading the clock.") | Cars.kif 5018-5019 | |
| (instance CounterClockwise RotationalAttribute) | Cars.kif 5016-5016 | Counter_clockwise is an instance of rotational attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Clockwise CounterClockwise) | Cars.kif 5021-5021 | Clockwise is the opposite of counter_clockwise |
| (termFormat EnglishLanguage CounterClockwise "counter_clockwise") | Cars.kif 5017-5017 | Clockwise is the opposite of counter_clockwise |
|
|
|