Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Clockwise(clockwise) |  | clockwise, dextrorotary, dextrorotatory, right-handed |
| appearance as argument number 1 |
|
|
| (instance Clockwise RotationalAttribute) | Cars.kif 4842-4842 | Clockwise is an instance of rotational attribute |
| (documentation Clockwise EnglishLanguage "The direction in which the hands of a modern Clock move when reading the clock.") | Cars.kif 4844-4845 | Clockwise is an instance of rotational attribute |
| (contraryAttribute Clockwise CounterClockwise) | Cars.kif 4852-4852 | Clockwise is the opposite of counter_clockwise |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Clockwise "clockwise") | Cars.kif 4843-4843 |
|