Relation >=

• Defined in theory: Kif-numbers
• Source code: kif-numbers.lisp

Slots on this relation:

Arity: 2

Axioms:

(<=> (>= ?X ?Y) (Or (> ?X ?Y) (= ?X ?Y)))