Relation >=

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

Slots on this relation:

Instance-Of: Relation

Arity: 2

Equivalence Axioms:

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

Other Related Axioms:

(>= ?X 0)

(=> (Nonnegative-Integer ?X) (>= ?X 0))

(<- (Abs ?X) (If (>= ?X 0) ?X (- ?X)))

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