Relation >

Arity: 2

Inverse: <

• Defined in theory: Kif-numbers
• Source code: kif-numbers.lisp
• Also defined in: Simple-time