Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CounterClockwise(counter_clockwise) |  | anticlockwise, contraclockwise, counterclockwise, left-handed, levorotary, levorotatory |
| appearance as argument number 1 |
|
|
| (instance CounterClockwise RotationalAttribute) | Cars.kif 4847-4847 | Counter_clockwise is an instance of rotational attribute |
| (documentation CounterClockwise EnglishLanguage "The opposite direction from which the hands of a modern Clock move when reading the clock.") | Cars.kif 4849-4850 | Counter_clockwise is an instance of rotational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CounterClockwise "counter_clockwise") | Cars.kif 4848-4848 | |
| (contraryAttribute Clockwise CounterClockwise) | Cars.kif 4852-4852 | Clockwise is the opposite of counter_clockwise |
|